regular-language - 为包含常量的语言抽取正则语言的引理

Question

如果我有这样的语言：

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

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

Answer 1

是的，因为正则语言在右商和左商下是封闭的，并且有限语言是正则的。