Bounded Automata Groups are co-ET0L
Abstract
Holt and Röver proved that finitely generated bounded automata groups have indexed co-word problem. Here we sharpen this result to show they are in fact co-ET0L.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2018
- DOI:
- 10.48550/arXiv.1811.10157
- arXiv:
- arXiv:1811.10157
- Bibcode:
- 2018arXiv181110157B
- Keywords:
-
- Mathematics - Group Theory;
- Computer Science - Formal Languages and Automata Theory;
- 20B27 (Primary) 68Q42;
- 68Q45 (Secondary)
- E-Print:
- doi:10.1007/978-3-030-13435-8_6