Машина Тьюринга. Теория алгоритмов, формальных языков, грамматик и автоматов п