even_0_even_1→(00|11)*((01|10)(00|11)*(01|10)(00|11)*)*
even_0_odd_1→1even_0_even_1|0(00|11)*(01|10)even_0_even_1
对于偶数个0和奇数个1构成的串,其第一个字符可能是0或1。
(1)如果是1,那么剩下的部分一定是偶数个0和偶数个1
(2)如果是0,那么经过若干个00或11,一定会出现一个01或10,才能保证0的个数是偶数,1的个数是奇数。若串还没有结束,剩余部分一定是偶数个0和偶数个1。
这样,正确的正规定义是:
even_0_odd_1→1even_0_even_1|0(00|11)*(01|10)even_0_even_1
注意:*均应在其左面第一个右括号的右上角,为书写方便直接写在了后面 :)