下推自動機到上下文無關：該怎么做？

Question

我需要將生成的CFG寫入以下自動機。

我知道這樣的過渡：

-es, es; S lead to a rule like S-> es
-es, B; es lead to a rule like B -> es
-es, B; aB lead to a rule like B-> aB

es代表空字符串。

但是我不知道如何處理諸如“ c，a； a”之類的規則。 有人可以給我任何幫助嗎？ 謝謝。

http://tonguim.free.fr/divers/automata.jpg

Answer 1

一般來說，每個產品都是一個有限狀態機，它顯示解析器在該產品中的進度。

自動機使用的堆棧是此類生產狀態的堆棧。 每次進入生產時，都將其推入初始狀態。 每次得出結論時，都會彈出其現在的最終狀態。 終端可以視為狀態機具有單個狀態的簡並產品。