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