У меня есть эти вопросы из старого экзамена, который я пытаюсь решить. Для каждой задачи, вход является кодирование некоторой машины Тьюринга .
Для целого числа и следующих трех задач:
Правда ли, что для каждого входа M не передает позиции при работе на ?
Верно ли, что для каждого входа M не передает max { | х | - c , 1 } положение при работе на х ?
Правда ли, что для каждого входа M не проходит позицию ( | x | + 1 ) / c при работе на x ?
Сколько проблем разрешимо?
Номер задачи (1), на мой взгляд, в , если я понимаю правильно , так как я могу запустить все входы параллельно, и остановки , если входные данные достигли этой позиции и показать , что это не в R I может уменьшить дополнение от Атм к нему. Я строю машину Тьюринга M ′ следующим образом: для ввода я проверяю, является ли y историей вычислений, если это так, то M ′ работает правильно и не останавливается, если нет, то останавливается.
Для (3) я считаю, что это разрешимо, так как для все машины Тьюринга всегда остаются в первой ячейке полосы, поскольку для строки из одного символа он может пройти первую ячейку, поэтому мне нужно смоделировать все строки длины 1 для шагов (правильно ли это?), И посмотреть , если я использую только первую ячейку во всех из них.
Я действительно не знаю, что делать с (2).