Cayley automatic representations of wreath products
arXiv:1511.01630 · doi:10.1142/S0129054116400049
Abstract
We construct the representations of Cayley graphs of wreath products using finite automata, pushdown automata and nested stack automata. These representations are in accordance with the notion of Cayley automatic groups introduced by Kharlampovich, Khoussainov and Miasnikov and its extensions introduced by Elder and Taback. We obtain the upper and lower bounds for a length of an element of a wreath product in terms of the representations constructed.
Final version, to appear in the International Journal of Foundations of Computer Science