Article ID Journal Published Year Pages File Type
9657833 Theoretical Computer Science 2005 28 Pages PDF
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Preview
A context-free and a 1-counter geodesic language for a Baumslag-Solitar group
Authors
,