https://9lib.org/document/zgw9wx3n-języki-automaty-i-obliczenia.html