An Example of Π03-complete Infinitary Rational Relation
Închide
Conţinutul numărului revistei
Articolul precedent
Articolul urmator
685 3
Ultima descărcare din IBN:
2017-04-28 21:51
Căutarea după subiecte
similare conform CZU
[519.7+515.122.4+510.532]:004 (1)
Cibernetică matematică (84)
Topologie (37)
Considerații fundamentale și generale ale matematicii (31)
Știința și tehnologia calculatoarelor. Calculatoare. Procesarea datelor (2901)
SM ISO690:2012
FINKEL, Olivier. An Example of Π03-complete Infinitary Rational Relation. In: Computer Science Journal of Moldova. 2007, nr. 1(43), pp. 3-21. ISSN 1561-4042.
EXPORT metadate:
Google Scholar
Crossref
CERIF

DataCite
Dublin Core
Computer Science Journal of Moldova
Numărul 1(43) / 2007 / ISSN 1561-4042

An Example of Π03-complete Infinitary Rational Relation
CZU: [519.7+515.122.4+510.532]:004

Pag. 3-21

Finkel Olivier
 
Ecole Normale Superieure de Lyon
 
Disponibil în IBN: 14 decembrie 2013


Rezumat

We give in this paper an example of infinitary rational relation, accepted by a 2-tape Buchi automaton, which is Π03-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.

Cuvinte-cheie
infinitary rational relations, topological properties, Borel hierarchy, Π03-complete set