An Example of Pi^0_3-complete Infinitary Rational Relation - ENS de Lyon - École normale supérieure de Lyon Accéder directement au contenu
Article Dans Une Revue Computer Science Journal of Moldova Année : 2007

An Example of Pi^0_3-complete Infinitary Rational Relation

Résumé

We give in this paper an example of infinitary rational relation, accepted by a 2-tape Bü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.
Fichier principal
Vignette du fichier
PI-0-3-RAT-REL.pdf (165.53 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

ensl-00130246 , version 1 (12-02-2007)

Identifiants

Citer

Olivier Finkel. An Example of Pi^0_3-complete Infinitary Rational Relation. Computer Science Journal of Moldova, 2007, 15 (1), pp.3-21. ⟨ensl-00130246⟩
73 Consultations
53 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More