我正在为自动机理论课做作业。到目前为止，它只是涉及正则表达式的证明，没什么太疯狂的。无论如何，我的问题是，连接的正确集合符号是什么？例如，我知道 R + S 与 R union S 相同，但在我的一生中，我不记得与串联等效的集合论是什么。
我不会发布任何问题，因为我认为我会很好地处理它们，有人可以在正确的方向上给我一点插入吗？
最佳答案
我相信您指的是常规集的串联。通常，连接或点运算符表示正则集的连接。相同的符号适用于正则表达式。例如
形式上，正则集形成 Kleene 代数，它是 Kleene 星算符的幂等半环，满足公理集合。在像幂等半环这样的代数中，乘法通常通过连接或点运算符来表示。这就是为什么正则集合的串联——Kleene 代数中的乘法运算——用串联或点运算符表示。正则表达式也是如此。
关于concatenation - 集合论中 concat 的符号，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/7720934/