下推式自動機可以有零終態嗎？

Question

根據這個問題，下推式自動機可以有零終態嗎？

Answer 1

是的！ PDA有許多不同的定義，但通常定義表明，PDA有一組接受狀態，它們必須是PDA中所有狀態集合的一個子集。空集是一個有效的集合，所以PDA不一定必須接受。這就是爲空語言構建PDA的可能性，例如，已知這種語言是上下文無關的。

希望這會有所幫助！

Answer 2

某些形式的下推式自動機通過在輸入結束時使用空棧來停止接受。對於這種形式，沒有最終狀態這樣的事情。