如何創建一個接受語言的下推自動機？

Question

有人可以向我解釋如何為這種語言創建下推式自動機。 如果您能解釋這也很好，我不理解該語言的固定符號。 謝謝

Answer 1

符號的含義是：由以n個字母a開頭，然后是m個字母b開頭的所有單詞組成的語言； 此外，數字n和m不能相等。

用PDA接受這一點的明顯方法是：從一開始，您每閱讀一次，就將其放在堆棧中； 當您開始看到b時，對於您閱讀的每個b，您都會從堆棧中刪除a之一。 如果最后一個b刪除了最后一個堆棧符號，則n = m並且PDA應該拒絕； 否則，如果單詞來自b ，則應接受。