だから私は以前に言った問題をやった：
L(r) = {w in {a,b}* : w contains at least 2 a's}
{a^2n , b}などの文字列を保証するため、私が言ったものについては、タイトルに投稿したものにどのようにアプローチするかわかりませんaab。aabaabおそらく、解決策はa^2n, b^2m常に偶数である可能性がありますが、同様に2つの奇数a^n b^3mも常に偶数です。のような境界を設定することはできn>=mますか?
ありがとうございました！