形式语言中的闭包：连接、分离和算法
Closures in Formal Languages: Concatenation, Separation, and Algorithms
摘要：
我们继续研究开放语言和封闭语言。我们研究如何被打开和关闭的属性下保持串联。我们调查类似物，在形式语言，在拓扑空间中的分离公理，我们的主要结果之一是，有一个clopen分区分离两个字当且仅当字交换。我们表明，我们可以决定在二次时间，如果指定的DFA的语言是封闭的，但如果指定的NFA的语言，问题是PSPACE完全的。
英文摘要：
We continue our study of open and closed languages. We investigate how the properties of being open and closed are preserved under concatenation. We investigate analogues, in formal languages, of the separation axioms in topological spaces; one of our main results is that there is a clopen partition separating two words if and only if the words commute. We show that we can decide in quadratic time if the language specified by a DFA is closed, but if the language is specified by an NFA, the problem is PSPACE-complete.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
