教资会网络 | UGC NET CS 2014 年 12 月 – III |问题 23
给定两种语言：
L 1 = {(ab) n a k | n > k, k ≥ 0}
L 2 = {a n b m | n≠m}
对正则语言使用抽引引理，可以证明
(A) L 1是规则的，L 2是不规则的。
(B) L 1不是规则的，L 2是规则的。
(C) L 1是规则的，L 2是规则的。
(D) L 1不规则，L 2不规则。答案： (D)
解释：给定语言 L 1 = {(ab) n a k | n > k, k ≥ 0} 这里有 n 和 k 之间的比较，即 n 应该大于 k，所以我们需要堆栈来执行它可以通过 PDA 解决的任何推送和弹出操作，并且我们知道在有限的情况下不允许比较自动机。
所以它不是常规语言。
同样的语言 L 2 = {a n b m | n ≠ m} 这里我们需要比较 n 和 m ，即 m 不应该等于 n 所以我们在这里需要一个堆栈来解决这个 PDA。
这里也是 n 和 m 之间的比较，所以它不是常规语言。
选项（D）是正确的。
这个问题的测验