1. Главная
  2. Библиотека
  3. Теория государства и права (ТГП)
  4. По данному коду N(T) восстановить программу машины Тьюр...
Разбор задачи

По данному коду N(T) восстановить программу машины Тьюринга. Выяснить, является ли машина Т самоприменимой или несамоприменимой. При составлении N(T) использована следующая кодировка: П -1 , Л - 1 2, Н - 1 3, Л -1 4, 1 - 1 5, - 1 6, 0 - l 7, Sj - l 8, 52

  • Предмет: Теория государства и права (ТГП)
  • Автор: Кэмп
  • #Правовая информатика
  • #Логика
По данному коду N(T) восстановить программу машины Тьюринга. Выяснить, является ли машина Т самоприменимой или несамоприменимой. При составлении N(T) использована следующая кодировка: П -1 , Л - 1 2, Н - 1 3, Л -1 4, 1 - 1 5, - 1 6, 0 - l 7, Sj - l 8, 52

Условие:

По данному коду N(T) восстановить программу машины Тьюринга. Выяснить, является ли машина Т самоприменимой или несамоприменимой. При составлении N(T) использована следующая кодировка: П -1 , Л - 1 2, Н - 1 3, Л -1 4, 1 - 1 5, * - 1 6,\ns0 - l 7, Sj - l 8, 52 - l 9. 1 8 * 1 4 * 1 4 * 1 3 19**1815141318**181616118** 19 1 4141219**1915161218**1916141*18

Решение:

Замечу, что ключевая идея состоит в том, чтобы, исходя из описанной в условии кодировки, «распарсить» строку N(T) и реконструировать правила перехода машины Тьюринга T. (Следует понимать, что в условиях подобных задач принято использовать стандартное кодирование переходов команды T – вид «П si Л a Н sj Л b 1 d», где каждая из компонент заменяется соответствующим блоком единиц; разделителем команд принято считать двойной символ «*».)

Поскольку дано, что элементы кодируются следующим образом (при условии, что символы обозначаются блоками единиц длины, равной числу, приведённому в таблице):   П – блок из одной единицы;   Л – блок из двух единиц (при появлении в двух местах кодировки для разных назначений ­– в записи перехода используется сначала «Л», отвечающая за разделитель между номером состояния и знаком, затем – для знака, подлежащего записи);   Н – блок из трёх единиц;   еще один символ (обычно отвечающий за команду движения) – блок из четырёх единиц;   символ 1 – блок из пяти единиц;   разделитель («*...

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит

Попробуй решить по шагам

Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение

Какое из следующих утверждений наиболее точно описывает процесс восстановления программы машины Тьюринга из её кодировки N(T)?

Что нужно знать по теме:

Что нужно знать по теме

Алгоритм решения

Топ 3 ошибок

Что спросит препод

Не нашел нужную задачу?

Воспользуйся поиском

Выбери предмет