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

Question

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

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

Тогда мы получим вывод:

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

фото, цитируемые из книги <<a href="https://books.google.com/books?id=1aMKAAAAQBAJ" rel="nofollow noreferrer"> Введение в теорию вычислений >

Answer 1

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