對於包含常量的語言，為常規語言抽取引理

Question

如果我有這樣的語言：

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

並且我必須證明它不是正則的，是否足以證明b ^ na ^ n不是正則的，因此整個表達式也不是正則的，因為a ^ 128是有限的？

Answer 1

是的，因為常規語言在左右商數下是封閉的，而有限語言是常規語言。