Машина Поста
Машина Поста – абстрактная машина, обрабатывающая слова в алфавите А={_, V}. Один из символов двоичного алфавита – метка «V», другой – пустота «_» (отсутствие метки).
Устройство машины Поста
Машина Поста состоит из бесконечной в оба конца ленты, разделенной на ячейки одинакового размера. В каждую ячейку ленты заносится один из символов внешнего алфавита.
Вдоль ленты движется каретка (считывающая и записывающая головка).
Каретка может передвигаться вдоль ленты влево и вправо. Когда она неподвижна, она стоит против ровно одной ячейки ленты; говорят, что каретка обозревает эту ячейку. А такая ячейка называется текущей или обозреваемой.
За единицу времени, которая называется тактом, каретка может сдвинуться на одну ячейку влево или вправо. Кроме того, каретка может также распознать, стоит или нет метка в обозреваемой ею ячейке, может заносить метку в пустую ячейку и может удалять метку из отмеченной ячейки.
Команды, по которым каретка должна занести метку в отмеченную секцию или удалить метку из пустой секции, являются недопустимыми.
Команды машины Поста
Формат команды: n K m, где
n – номер текущей команды,
K – команда из системы команд машины Поста,
m – отсылка – номер команды, которая будет выполняться следующей.
Система команд машины Поста:
1) a → b
Сдвиг каретки вправо, содержимое ленты не меняется.
2) a ← b
Сдвиг каретки влево, содержимое ленты не меняется.
3) a V b
В обозреваемую ячейку ставится метка «V». Выполнение этой команды возможно только в том случае, если обозреваемая ячейка пустая, в противном случае команда считается невыполнимой.
4) a ↕ b
Каретка стирает метку в обозреваемой ячейке. Выполнение этой команды возможно только в том случае, если обозреваемая ячейка содержит метку, в противном случае команда считается невыполнимой.
5) a ? b1, b2
Команда передачи. Проверяется содержимое текущей ячейки, если метки нет, то происходит передача управления команде с номером b1, иначе, если метка есть, – команде с номером b2. Содержимое ленты не меняется.
6) a ! [а]
Команда останова машины. Содержимое ленты не меняется. У команды остановки отсылка не обязательна.
Последовательность команд из системы команд – программа, если
1) на n-ом месте этой программы будет стоять команда с номером n,
2) отсылке m соответствует реальная команда в программе.


Надежные монтажные гайки, выполненные из качественных металлов прекрасно зафиксируют любое соединение, гарантируя нужную гермитизацию узла.


Недорогие билеты на кремлевскую елку - грандиозное развлекательное мероприятие, включающее обилие конкурсов для создания хорошего настроения.


Предлагается квартира на сутки ввц, умеренная цена, удобный вариант.