对于包含常量的语言，为常规语言抽取引理

Question

如果我有这样的语言：

L1 = {a ^ 128 b ^ na ^ n | n> = 0}

并且我必须证明它不是正则的，是否足以证明b ^ na ^ n不是正则的，因此整个表达式也不是正则的，因为a ^ 128是有限的？

Answer 1

是的，因为常规语言在左右商数下是封闭的，而有限语言是常规语言。