Условие задачи
Построить машину Тьюринга, применимую ко всем словам в алфавите и переводящую их в слово baba , если слово начинается на ba , в других случаях.
Ответ
Машина начинает работу из стандартного состояния, т. е. обозревает ячейку с буквой xn q1 начальное состояние, q0 заключительное состояние, a0 пустой символ.
Сначала машина должна пройти все слово влево и проверить, начинается ли слово на ba. Если первая буква a, или вторая буква b или пустой символ (слово не начинается на ba), то машина должна пройти все слово вправо, вместо первого пустого символа записать букву a и закончить работу. Если первая буква b, то проверяется вторая буква. Если вторая буква a (слово начинается на ba), то в следующие две ячейки записывается ba, затем машина до...