An Example of Pi^0_3-complete Infinitary Rational Relation - Archive ouverte HAL Access content directly
Journal Articles Computer Science Journal of Moldova Year : 2007

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

(1)
1

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.
Fichier principal
Vignette du fichier
PI-0-3-RAT-REL.pdf (165.53 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
74 View
46 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More