An Example of Pi^0_3-complete Infinitary Rational Relation
逻辑
2007-05-23 v1 计算复杂性
计算机科学中的逻辑
摘要
We give in this paper an example of infinitary rational relation, accepted by a 2-tape B\"{u}chi automaton, which is Pi^0_3-complete in the Borel hierarchy. Moreover the example of infinitary rational relation given in this paper has a very simple structure and can be easily described by its sections.
引用
@article{arxiv.math/0702334,
title = {An Example of Pi^0_3-complete Infinitary Rational Relation},
author = {Olivier Finkel},
journal= {arXiv preprint arXiv:math/0702334},
year = {2007}
}