FO2(<,+1)的可判定刻画与DA的局部性
形式语言与自动机理论
2018-03-28 v2
摘要
多年前Thérien和Wilke展示了FO2(<,+1)中可定义的词语言的一个可判定刻画。他们的证明依赖于三个独立的要素。第一个是FO2(<)中可定义的语言的刻画：其语法半群属于DA簇。然后，将此结果与圈积论证结合，表明在FO2(<,+1)中可定义对应于语法半群属于DA*D。最后，证明半群属于DA*D的成员资格是可判定的需要第三个要素：DA的“局部性”，这是由Almeida证明的一个结果。在本注记中，我们提出一个新的自包含且简单的证明，表明FO2(<,+1)中的可定义性是可判定的。我们作为推论得到了DA的局部性。
引用
@article{arxiv.1606.03217,
title = {Decidable Characterization of FO2(<,+1) and locality of DA},
author = {Thomas Place and Luc Segoufin},
journal= {arXiv preprint arXiv:1606.03217},
year = {2018}
}