Определения машин Тьюринга всегда явно указывают на то, что пустой символ не является частью входного алфавита.
Интересно , что идет не так , когда вы бы сделать его частью входного алфавита, потому что фактически пустой символ , уже , кажется, часть входных данных.
Чтобы объяснить, что «кажется» в последнем предложении, рассмотрим следующее.
В настройках по умолчанию бесконечное количество пустых символов появляется справа от ввода. Когда головка ленты перемещается над первым пустым символом, вычисление может просто продолжаться, поскольку оно не должно быть в состоянии принятия или отклонения.
Теперь предположим, что вычисление будет впоследствии записывать символы из входного алфавита справа от этого первого пустого символа, затем возвращаться в крайнее левое положение, а также возвращаться в начальное состояние. Затем он «начнется заново» с другой ленты. По сути, теперь он начинается с другого ввода, где справа от пробела находятся символы ввода, которых раньше не было. Ввод, кажется, эффективно включает в себя пустой символ. Дальнейшее поведение машины теперь также может быть другим: после повторного столкновения с пробелом теперь будут встречаться другие символы справа.
Предположим, что этот сценарий действительно возможен, почему бы вам не рассмотреть пустую символьную часть входного алфавита и почему бы вам не разрешить включать его как часть «начального» ввода?
Возможно, это просто способ определить входные данные так, чтобы они не всегда были бесконечными?