L = {a ^ nb ^ nc ^ md ^ m：n> = 1，m> = 1} U {a ^ nb ^ mc ^ md ^ n：n> = 1，m> = 1} isRegular？

Question

有很多關於抽水論證的例子，但是我沒有弄清楚，有人可以幫忙嗎？

L = {a ^ nb ^ nc ^ md ^ m：n> = 1，m> = 1} U {a ^ nb ^ mc ^ md ^ n：n> = 1，m> = 1}

Answer 1

考慮常規語言R = a*b*cd 。 兩種常規語言的交集必須是常規語言。 L和R的交點是a^nb^n cd 。 但是，使用抽引引理或Myhill-Nerode定理很容易證明這不是規則的。 這是一個矛盾，因此L一定不能規則。