文脈自由へのプッシュダウンオートマトン：それを行う方法？

私はこのような変遷ことを知っている：

-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"のようなルールをどのように扱うべきかわかりません。誰でも助けてくれますか？ありがとうございました。

一般的に、各生産は、生産を通じてパーサの進捗状況を示し有限状態マシンで、話します。

オートマトンが使用するスタックは、そのような生産状態のスタックです。プロダクションに入るたびに、最初の状態になります。あなたが1つを締めくくるたびに、あなたは今終わった状態を破棄します。端末は、状態マシンが単一の状態を持つ縮退プロダクションと見なすことができます。

2012-03-07 20:29:56 phs

お返事ありがとうございます。あなたの説明が私を助けてくれなかったので、例を挙げてください。ありがとうございました。 –

http://en.wikipedia.org/wiki/Pushdown_automaton#PDA_and_Context-free_Languagesはそれをよく表しています。残りの部分にはいくつかの例があります。 – phs

答えて