Изменения
Нет описания правки
*<tex>T</tex> — множество допускающих состояний автомата;
*<tex>\delta</tex> — функция переходов, зависящая от символа на ленте, текущего состояния управляющего автомата и состояния счётчиков и осуществляющая переход в автомата в новое состояние и изменение состояния счётчиков.
Для каждого счётчика возможны четыре операции: увеличить на один, уменьшить на один, не изменять значение, проверить является ли значение счетчика нулемнулём.
Будем считать, что значение нулевых счётчиков уменьшать нельзя.
}}
==Источники==
