An Example of Π30-complete Infinitary Rational Relation
We give in this paper an example of infinitary rational relation, accepted by a 2-tape Buchi automaton, which is Π30-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.
Main Author: | Olivier Finkel |
---|---|
Format: | Article |
Language: | English |
Published: |
Vladimir Andrunachievici Institute of Mathematics and Computer Science
2007-04-01
|
Series: | Computer Science Journal of Moldova |
Subjects: | |
Online Access: | http://www.math.md/files/csjm/v15-n1/v15-n1-(pp3-21).pdf |
Similar Items
-
The Syntax and semantics of infinitary languages /
by: Barwise, John
Published: (1968) -
Infinitary logic : in memoriam Carol Karp /
by: Kueker, D. W.
Published: (1975) -
Anti-Realism and Infinitary Proofs
by: Diego Tajer
Published: (2012-05-01) -
Large infinitary languages : model theory /
by: 366838 Dickmann, M. A.
Published: (1975) -
Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
by: 404540 Keisler, H. Jerome
Published: (1971)