Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2021
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2111.05481 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _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 |