文字列wをそのままにすると、規則により、文字列のみで構成されるa^mb^mことがわかります。ya|xy| <= m
を設定するとi=0、右側よりも左側の のww^R方が少なくなります。aしたがって、この言語が規則的でないことが証明されます。
しかし、私の教科書 (形式言語とオートマトンの紹介pg. 118 by Linz) は、もし私が を選択w = a^2mして任せたらy = aa、私は失敗するだろうと言っています。
しかし、どうしてですか？
私の考えでは、 ,が何xであれ、最初のものは 2 番目のものよりも数が少ないか多いかによって異なります。yza^2maia^2m