LIPIcs.ICALP.2018.131.pdf
- Filesize: 395 kB
- 12 pages
We prove that if a group generated by a bireversible Mealy automaton contains an element of infinite order, then it must have exponential growth. As a direct consequence, no infinite virtually nilpotent group can be generated by a bireversible Mealy automaton.
Feedback for Dagstuhl Publishing