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