<<
>>

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

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

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

где Пример:

Программа:

<< | >>
Источник: Конспекты лекций по математической логике. 2017

Еще по теме 1.1.3 Нормальные алгоритмы Маркова.: