高维自动机的Myhill-Nerode定理
摘要：高维自动机的一个Myhill-Nerode类型定理的建立，它声明一个语言是正则的，当且仅当它具有有限前缀商。高维自动机通过附加结构扩展了标准自动机，使得能够区分交错和并发。我们还引入了确定性高维自动机，并证明并非所有高维自动机都是可以确定的，即存在一些正则语言无法被确定性高维自动机识别。利用我们的定理，我们发展了对确定性语言的内部描述，并且还展示了存在无穷模糊的语言。
作者：Uli Fahrenberg and Krzysztof Ziemia''nski
论文ID：2210.08298
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-10-18