Cayley Automatic Groups and Numerical Characteristics of Turing Transducers
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2016
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910561744191488 |
|---|---|
| author | Berdinsky, Dmitry |
| author_facet | Berdinsky, Dmitry |
| contents | This paper is devoted to the problem of finding characterizations for Cayley automatic groups. The concept of Cayley automatic groups was recently introduced by Kharlampovich, Khoussainov and Miasnikov. We address this problem by introducing three numerical characteristics of Turing transducers: growth functions, Folner functions and average length growth functions. These three numerical characteristics are the analogs of growth functions, Folner functions and drifts of simple random walks for Cayley graphs of groups. We study these numerical characteristics for Turing transducers obtained from automatic presentations of labeled directed graphs. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1606_08357 |
| institution | arXiv |
| publishDate | 2016 |
| record_format | arxiv |
| spellingShingle | Cayley Automatic Groups and Numerical Characteristics of Turing Transducers Berdinsky, Dmitry Group Theory Formal Languages and Automata Theory This paper is devoted to the problem of finding characterizations for Cayley automatic groups. The concept of Cayley automatic groups was recently introduced by Kharlampovich, Khoussainov and Miasnikov. We address this problem by introducing three numerical characteristics of Turing transducers: growth functions, Folner functions and average length growth functions. These three numerical characteristics are the analogs of growth functions, Folner functions and drifts of simple random walks for Cayley graphs of groups. We study these numerical characteristics for Turing transducers obtained from automatic presentations of labeled directed graphs. |
| title | Cayley Automatic Groups and Numerical Characteristics of Turing Transducers |
| topic | Group Theory Formal Languages and Automata Theory |
| url | https://arxiv.org/abs/1606.08357 |