| Autor: |
Olivier Finkel |
| Jazyk: |
angličtina |
| Rok vydání: |
2007 |
| Předmět: |
|
| Zdroj: |
Computer Science Journal of Moldova, Vol 15, Iss 1(43), Pp 3-21 (2007) |
| Druh dokumentu: |
article |
| ISSN: |
1561-4042 |
| Popis: |
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. |
| Databáze: |
Directory of Open Access Journals |
| Externí odkaz: |
|
