Я пытаюсь понять, как работает КПК. На следующей диаграмме я понимаю, как работают функции перехода и как должен обновляться стек. Но единственный вопрос, который у меня есть, это почему состояние Start также является состоянием принятия? в то время как КПК для L = {on1n | n ≥ 0} означает, что он не должен принимать пустую строку. Может кто-нибудь объяснить причину, по которой начало принимать состояние, пожалуйста?
