正規言語のポンピング補題を使用して、言語が正規かどうかを調べます。宿題に、ポンピング補題を言語に適用する方法がわからないという質問があります。
L = {a$b: a,b ∈ {0,1}*, number of zeroes in a equals to the number of ones in b}
$ は、a と b を分割するための単なる定数です。
次のような言語もあります。
L = {ab: a,b ∈ {0,1}*, number of zeroes in a equals to the number of ones in b}
a と b を分割するものは何もなく、a のゼロの数と b の 1 の数について仮定することはできないことを理解していますよね？それとも私は間違っていますか？
これらの言語にポンピング補題を適用して、正規かどうかを証明するにはどうすればよいでしょうか?