2. Устройство машины Поста
Машина Поста состоит из ленты и каретки
(считывающая и записывающая головка).
Лента бесконечна и разделена на
секции одинакового размера - ячейки.
3. Устройство машины Поста
Каретка может передвигаться вдоль ленты влево и
вправо. Ячейка, напротив которой стоит каретка,
называется обозреваемой.
За один шаг каретка может:
1) сдвинуться на одну ячейку влево или вправо;
2) распознать, стоит или нет метка в обозреваемой
ею ячейке;
3) заносить метку в пустую ячейку;
4) удалять метку из отмеченной ячейки.
4. Недопустимые действия, ведущие к
аварийной остановке машины
попытка записать метку в отмеченную ячейку;
попытка удалить метку из пустой ячейки.
5. Формат команды машины Поста
nKm
n - номер текущей команды;
K - команда из системы команд машины
Поста;
m - ссылка - номер команды, которая
будет выполняться следующей.
8. Пример 1. Объединение двух массивов
(каретка над одной из отмеченных ячеек первого
массива).
9. Запись целых неотрицательных чисел
Целое неотрицательное число k записывается
на ленте машины Поста посредством (k+1)
следующих подряд отмеченных ячеек. Соседние
записи чисел на ленте разделяются одной или
несколькими пустыми секциями.
Запись чисел 0, 1, 3.
10. Пример 2:
Составить программу прибавления единицы
к некоторому числу (каретка обозревает
любую из помеченных ячеек).
11. Пример 3:
Составить программу прибавления единицы к
некоторому числу
(каретка обозревает любую из свободных ячеек левее
записи).
12. Задача 1
На ленте машины Поста отмечен массив из 5 клеток.
Какой вид будет иметь лента после окончания работы
машины по следующей программе?
14. Задача 2
На ленте машины Поста на расстоянии в 3 ячейки
расположены 2 метки.
Какой вид будет иметь лента после окончания работы
машины по следующей программе?
1←2
3V1
4!