语言有限自动机差异

Question

有什么区别

L1 = {m ∈ (a + b)*} L1 = {m ∈ (a , b)*} 

我觉得没有什么区别，但我无法真正理解此+与表达式中的加号之间的区别，例如(a,b)+

Answer 1

您是正确的，没有区别。 a+b转换为a union b，(a , b)是某些研究人员引用a union b的另一种方式（尽管不那么普遍）。如果您选择继续进行自动机研究，您会发现不同的研究人员引用相同概念的方式令人难以置信。仅在这种情况下，我知道我可以这样写：

L1 = {m ∈ (a + b)*} L1 = {m ∈ (a , b)*} L1 = {m ∈ (a | b)*} L1 = {m ∈ (a U b)*}