Машина Поста

Эмиль Пост предложил абстрактную вычислительную машину - машину Поста.Работа машины Поста определяется программой с конечным числом строк.Машина Поста менее популярна, чем машина Тьюринга, хотя она значительно проще неё.Процедура Result, описывает алгоритм работы команды условного перехода машины Поста.Машина Поста - М.,2009.-003с.Описание Работы Машины Поста.Для машины Поста определены операции 6 видов.STOP - остановка (завершение работы машины Поста).Программой для машины Поста называется непустой список команд, такой что.Останов машины Поста может быть вызван несколькими причинами.