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

Abstract : 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.
Type de document :
Article dans une revue
Computer Science Journal of Moldova, 2007, 15 (1), pp.3-21
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal-ens-lyon.archives-ouvertes.fr/ensl-00130246
Contributeur : Olivier Finkel <>
Soumis le : lundi 12 février 2007 - 14:56:48
Dernière modification le : mardi 24 avril 2018 - 13:52:56
Document(s) archivé(s) le : mercredi 7 avril 2010 - 02:45:49

Fichiers

PI-0-3-RAT-REL.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

145

Téléchargements de fichiers

78