我在一本关于可计算性的书上读到： (Kleene定理)当且仅当一个语言可以通过联合、连接和重复有限次数的操作从有限语言中获得时，它是正则的。 我对"有限语言"感到困惑。 考虑这个语言：L = a* 它不是有限的。它是集合{0，a，aa，aaa，...}，显然是一个无限集合（其中...

以下正则表达式有什么区别？ (a U b)* 和 (ab)* 并集和连接的区别是什么？ 上述哪个正则表达式接受'a'总是在'b'之前的字符串？ 请澄清一下，谢谢。