An Example of Pi^0_3-complete Infinitary Rational Relation
Logic
2007-05-23 v1 Computational Complexity
Logic in Computer Science
Abstract
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.
Cite
@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}
}