- Title
- A context-free and a 1-counter geodesic language for a Baumslag-Solitar group
- Creator
- Elder, Murray
- Relation
- Theoretical Computer Science Vol. 339, Issue 2-3, p. 344 - 371
- Publisher Link
- http://dx.doi.org/10.1016/j.tcs.2005.03.026
- Publisher
- Elsevier
- Resource Type
- journal article
- Date
- 2005
- Description
- 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.
- Subject
- regular; context-free; G-automaton; counter; 1-counter; Baumslag–Solitar group; language of geodesics
- Identifier
- http://hdl.handle.net/1959.13/926875
- Identifier
- uon:9971
- Identifier
- ISSN:0304-3975
- Language
- eng
- Full Text
- Reviewed
- Hits: 8548
- Visitors: 5842
- Downloads: 623
Thumbnail | File | Description | Size | Format | |||
---|---|---|---|---|---|---|---|
View Details Download | SOURCE1 | Author final version | 355 KB | Adobe Acrobat PDF | View Details Download |