An Example of Π 0 3-complete Infinitary Rational Relation ∗
Olivier Finkel, Equipe Modèles, Calcul Complexité · 2007
We give in this paper an example of infinitary rational relation, accepted by a 2-tape Buchi automaton, which is Π30-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.