高维自动机理论的发展
摘要：高维自动机（HDAs）的语言理论的发展 一种泵引理，可用于揭示一类非正则的有限部分序语言 给出一个具有无限二义性的正则语言的示例 然后转向正则语言的决策和闭包性质 证明了正则语言的包含是可判定的（因此是空语言），并且正则语言的交集仍然是正则的 另一方面，不存在通用的有限HDA，因此正则语言的补集不是正则的 引入了一种宽度有界的补集，并且证明了正则语言的宽度有界补集仍然是正则的。
作者：Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemia''nski
论文ID：2305.02873
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-05-05