6.7.2 Теория алгоритмов и формальных языков