我们对正则语言使用抽引引理来找出一种语言是否正则。作业中有一个问题，我不知道如何将泵引理应用到语言上。
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 中的个数做出假设，对吧？还是我弄错了？
我们如何将抽引引理应用于这些语言以证明它们是正则与否？