线性有界无限图
计算机科学中的逻辑
2007-05-25 v1
摘要
线性有界图灵机主要作为上下文有关语言的接受器而被研究。我们定义了一类自然的无限自动机来表示其可观察的计算行为，称为线性有界图。这些自动机自然地接受与定义它们的线性有界机相同的语言。我们展示了它们的一些结构性质，以及基于重写系统和上下文有关换位的替代刻画。最后，我们将这些图与有理图（另一类接受上下文有关语言的自动机）进行比较，并证明在有界度情况下，有理图是线性有界图的一个真子类。
引用
@article{arxiv.0705.3487,
title = {Linearly bounded infinite graphs},
author = {Arnaud Carayol and Antoine Meyer},
journal= {arXiv preprint arXiv:0705.3487},
year = {2007}
}