Понимание деталей в Pushdown Automaton (PDA)

Question

Недавно я установил задачу создания автоматического пускателя, основанного на конечном автомат, который я создал заранее. (Я действительно не делал этого успешно, вот почему мне был предоставлен рабочий экземпляр моим учителем)

У меня возникли проблемы с пониманием части, которая включена в обе диаграммы.

«Первый - это то, что именно означает стрелка, когда оно соединено с состоянием, но просто указывает прямо на него, я прав, думая, что это проверяет, что язык был введен заранее (в моем случае 0- 9) является правильным (эта стрелка указывает на состояние терминала) ""

Я пробовал делать свои исследования, но, к сожалению, я не придумал ничего, что действительно может объяснить это мне в основных терминах, я даже попробовал «Конечный автомат для чайников» И все равно ничего! Я также проверял вопросы, которые могут иметь мой ответ, и ничего там нет.

Answer 1

Если вы имеете в виду цикл, как две стрелки, отмеченные «1» на следующей диаграмме:

тогда это только нормальные переходы между состояниями, только особый аспект в том, что следующее состояние как и предыдущее состояние. I.e., если мы находимся в состоянии S_2 выше, тогда, когда вход содержит «1», мы потребляем те и остаемся в S_2. Только после того, как «0» поступает с входа, мы переходим к S_1.

В случае вашей конкретной машины вы, вероятно, должны оставаться в состоянии терминала, в то время как вход содержит любую цифру («0-9»).