Теория алгоритмов и формальных языков. Мелихов А.Н