PDAグラフの矢印がわかりません...
、などのよう((((()))))に括弧がネストされたすべての文字列を受け入れるPDAがあります。最初の状態にはループする矢印があり、これの動作は として記述されている2つの状態があります。(())((()))(,ε/(
(私が見ることができたのは、スタックの一番上に ε がある場合、この説明は記号を受け入れ、ある場合はεに置き換えられるということ(です。
したがって、スタックが最初に次のように見えた場合:
ε
現在は次のようになっています。
(ε
がスタックの一番上になく(ても、このループ矢印がすべての記号を受け入れ続けるにはどうすればよいでしょうか?ε
