По 1 и 2 юните информатики
Выризка из юнита : 1533,01,01;1 (Информатика)
3.1.2 - Формализация алгоритма. Абстрактные автоматы
"Машина Поста и Тьюринга предназначины для доказательств различных утверждений о своиствах программ.Эти машины предстовляют собой унивирсальных исполнителей, являющихся полностью детерминированными, позваляющих "ввожить" начальные данные и после выполнения программ "читать" результат.
Машина поста представляет собой бесконечную ленту, разделённую на одинаковые клетки, каждая из которых может быть пустой, либо заполненной меткой "V" и головка которая может передвигаться вдоль ленты на одну клетку вправо или влево, наносить или стирать метку...."
Тобиш как написано в книге "для доказательств различных утверждений о своиствах программ и алгоритмов"..
Нам её изучать задали а главный информатик сказал "сможеш сделать машину поста" ну я и зделал за пару часов
Можно сказать что он не мулятор а интерпритатор