通过双向自动机对某些次正则语言族的更多结构刻画
形式语言与自动机理论
2014-05-23 v1
摘要
我们研究了双向自动机上的结构限制，例如无环性、无置换性、强无置换性和可排序性等。我们将所得的语言族与具有相同性质的确定性有限自动机所诱导的语言族进行了比较。在某些情况下，研究表明就无置换性而言，确定性有限自动机与双向自动机在刻画上没有区别；但也存在其他情况，考虑确定性有限自动机还是双向自动机会产生巨大差异。例如，在比较强无置换性时，确定性有限自动机对应的是确定语言族，而双向自动机诱导的则是有限语言和余有限语言族。所得结果很好地融入了经典语言族的已知图谱中。
引用
@article{arxiv.1405.5608,
title = {More Structural Characterizations of Some Subregular Language Families by Biautomata},
author = {Markus Holzer and Sebastian Jakobi},
journal= {arXiv preprint arXiv:1405.5608},
year = {2014}
}
备注
In Proceedings AFL 2014, arXiv:1405.5272