私はいくつかのテスト準備資料に取り組んでいて、この問題に固執しています。
L = {we {a、b} *:w = wRであり、すべてのaの直後にab}がある場合の文脈自由文法を表示します。
wRは逆にwです。したがって、英語では、すべての「a」の後に「b」が続く回文で、任意の数のaとbを使用します。
これまでのところ、逆の部分でこれを取得しましたが、回文のプロパティが保持されていることを確認しながら、すべてのaの後にabの部分を組み込む方法がわかりません。
S -> bSb | b | [the empty string]
どんな助けでも大歓迎です!