一些次正则语言族的更多结构特征分析：由Biautomata完成
摘要：限制双自动机结构，如无环性、排列自由性、强排列自由性和可排序性等。我们将获得的语言族与具有相同属性的确定性有限自动机引导的语言族进行比较。在某些情况下，证明了对于排列自由性，确定性有限自动机和双自动机的表征无差异，但也存在其他情况，确定性有限自动机和双自动机之间的区别很大。这是例如，当比较强排列自由性时，确定性有限自动机产生确定语言族，而双自动机产生有限和有限补语言族。获得的结果很好地符合已知的经典语言族的情况。
作者：Markus Holzer, Sebastian Jakobi
论文ID：1405.5608
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-05-23