包含常量的语言的常规语言的抽取引理

Question

如果我有这样的语言：

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

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

Answer 1

是的，因为常规语言在right and left quotient下关闭，并且有限的语言是常规的。