В каком состоянии этот конечный автомат перейдет при чтении символа, который не принадлежит его алфавиту?

Question

Как мы знаем, определение "конечных автоматов" таково:

Тогда у нас есть этот конечный автомат, описываемый как:

Тогда у нас есть заключение:

Вопрос заключается в следующем: вместо того, чтобы принимать пустую строку, что делать, если строка первого считанного автомата имеет значение "2", что не относится к алфавиту (0,1) этого автомата. этот автомат все еще пойдет, чтобы принять государство?

цитаты из книги < Введение в теорию вычислений >

Answer 1

Когда машина определена, одним из ее элементов является алфавит (второй в вашем определении). Нам не разрешается тестировать нашу машину за пределами алфавита. Следовательно, все строки L (принятые строки) и L-bar (отклоненные строки) должны выходить из Sigma-start.