A Diamond Structure in the Transducer Hierarchy
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2021
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866915679309922304 |
|---|---|
| author | Kaufmann, Noah |
| author_facet | Kaufmann, Noah |
| contents | We answer an open question in the theory of transducer degrees on the existence of a diamond structure in the transducer hierarchy. Transducer degrees are the equivalence classes formed by word transformations which can be realized by a finite state transducer, which form an order based on which words can be transformed into other words. We provide a construction which proves the existence of a diamond structure, while also introducing a new function on streams which may be useful for proving more results about the transducer hierarchy. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2111_05481 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | A Diamond Structure in the Transducer Hierarchy Kaufmann, Noah Formal Languages and Automata Theory Logic We answer an open question in the theory of transducer degrees on the existence of a diamond structure in the transducer hierarchy. Transducer degrees are the equivalence classes formed by word transformations which can be realized by a finite state transducer, which form an order based on which words can be transformed into other words. We provide a construction which proves the existence of a diamond structure, while also introducing a new function on streams which may be useful for proving more results about the transducer hierarchy. |
| title | A Diamond Structure in the Transducer Hierarchy |
| topic | Formal Languages and Automata Theory Logic |
| url | https://arxiv.org/abs/2111.05481 |