我们使用常规语言的抽取引理来查找语言是否正常。在家庭作业中有一个问题，我不知道如何将泵浦引理应用到语言上。
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而且不可能假设b中的零个数和b中的个数，对吧？或者我错了？
我们如何对这些语言应用抽水引理来证明它们是否正常？