3622
правки
Изменения
→Машина Зенона
Будем использовать двуленточную машину Зенона. На одной ленте будем симулировать машину Тюринга, а на второй записывать результат.
'''<tex> p(M,x){:}</tex>'''
записать 0 в первую ячейку на второй ленте
'''while''' ''true'':
