Если у меня есть такой язык:
L1 = {a^128 b^n a^n | n >= 0}
и я должен доказать, что оно не является регулярным, достаточно ли доказать, что b ^ n a ^ n не является регулярным, таким образом, все выражение не является регулярным, поскольку a ^ 128 конечно?
