A context-free and a 1-counter geodesic language for a Baumslag-Solitar group
- Publication Type:
- Journal Article
- Theoretical Computer Science, 2005, 339 (2-3), pp. 344 - 371
- Issue Date:
We give a language of unique geodesic normal forms for the Baumslag-Solitar group BS(1,2) that is context-free and 1-counter. We discuss the classes of context-free, 1-counter and counter languages, and explain how they are inter-related. © 2005 Elsevier B.V. All rights reserved.
Please use this identifier to cite or link to this item: