Изменения

Будем использовать двуленточную машину Зенона. На одной ленте будем симулировать машину Тюринга, а на второй записывать результат.

'''<tex> p(M,x):</tex>'''

'''while''' ''true'':

смоделировать очередной шаг работы данной машины Тьюринга на данном входе на первой ленте