当一种语言满足常规语言的抽象引理时,它并不总是意味着它是一种常规语言。它至少是一种无上下文的语言吗?或介于两者之间?
答案 0 :(得分:1)
尽管如此,这不是一个编程问题。 来自wikipedia: "请注意,虽然抽取引理表明所有常规语言都满足上述条件,但这种说法的相反情况并非如此:满足这些条件的语言可能仍然是非常规的。换句话说,泵浦引理的原始版本和通用版本都给出了必要但不充分的条件,使语言成为常规。"
所以要提出你的问题: 如果一种语言能够满足常规语言的抽象引理,那么它至少是一种常规语言。