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

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

Olivier Finkel
  • Fonction : Auteur
  • PersonId : 834645
Laboratoire de l'Informatique du Parallélisme

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.

Domaines

Logique [math.LO] Complexité [cs.CC] Informatique et langage [cs.CL] Logique en informatique [cs.LO]
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)

Olivier Finkel  : Connectez-vous pour contacter le contributeur

https://ens-lyon.hal.science/ensl-00130246

Soumis le : lundi 12 février 2007-14:56:48

Dernière modification le : mardi 12 novembre 2024-15:20:06

Archivage à long terme le : mercredi 7 avril 2010-02:45:49

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 UDL
93 Consultations
77 Téléchargements

Altmetric

Partager

More