Нормальные алгоритмы Маркова.

Тип машины перерабатывающий слова, в которой существует некий алфавит Нормальные алгоритмы Маркова., для которого W — множество всех слов.

Допустимые команды: (Для машин этого типа важна последовательность команд.)

 где Нормальные алгоритмы Маркова.

Пример: Нормальные алгоритмы Маркова.  

Программа: 

 

Логика - доступно для всех