Текст программы:

// обозначения: // | - символ начала ленты // _ - пустой символ // 0 - начальное состояние // ! - конечное состояние // // перед началом работы машина Тьюринга имеет вид: // | _ _ _ _ _ _ _ _... - полубесконечная лента // ^0 - позиция каретки и начальное состояние // // программа состоит из команд: // состояние, символ -> новое состояние, новый символ, переход каретки // // обозначения для перехода каретки: // < - влево // > - вправо // любой другой символ - остаться на месте 0,| -> 0,|,> 0,a -> 1,a,> 0,b -> 0,b,> 0,c -> 0,c,> 0,_ -> 2,_,< 1,a -> 1,a,> 1,b -> 1,b,> 1,c -> 1,c,> 1,_ -> 3,_,< 2,c -> 2,c,< 2,b -> 2,c,< 2,| -> !,|,^ 3,| -> 4,|,> 3,a -> 3,_,< 3,b -> 3,_,< 3,c -> 3,_,< 4,_ -> !,a,<

Ограничение на количество шагов (против зацикливания):

Входная последовательность:

Протокол работы: