20.01.2010, 05:25
общий
это ответ
Здравствуйте, Tribak.
Определение свойства распознавания машиной Тьюринга и программа для последовательности 01373:
http://picasaweb.google.ru/ParkerSubscribe/RFPro#5428641747087982290
Для машины поста надо уточнить постановку задачи, т.к. "Каждая секция ленты может быть либо пустой — 0, либо помеченной меткой 1. " Т.е. символы 3 и 7 в явном виде недопустимы.
http://ru.wikipedia.org/wiki/Машина_Поста
С уважением, Антон.