A context-free and a 1-counter geodesic language for a Baumslag-Solitar group

Elder, M

A context-free and a 1-counter geodesic language for a Baumslag-Solitar group

Elder, M

Permalink

Publication Type:: Journal Article
Citation:: Theoretical Computer Science, 2005, 339 (2-3), pp. 344 - 371
Issue Date:: 2005-06-12

Open Access

Copyright Clearance Process

Recently Added
In Progress
Open Access

This item is open access.

Adobe PDF

Download Accepted Manuscript VersionAdobe PDF (364.25 kB)

View on publisher's site

View statistics

Full metadata record

Field	Value	Language
dc.contributor.author	Elder, M https://orcid.org/0000-0002-2438-3945	en_US
dc.date.issued	2005-06-12	en_US
dc.identifier.citation	Theoretical Computer Science, 2005, 339 (2-3), pp. 344 - 371	en_US
dc.identifier.issn	0304-3975	en_US
dc.identifier.uri	http://hdl.handle.net/10453/98846
dc.description.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. © 2005 Elsevier B.V. All rights reserved.	en_US
dc.relation.ispartof	Theoretical Computer Science	en_US
dc.relation.isbasedon	10.1016/j.tcs.2005.03.026	en_US
dc.subject.classification	Computation Theory & Mathematics	en_US
dc.title	A context-free and a 1-counter geodesic language for a Baumslag-Solitar group	en_US
dc.type	Journal Article
utslib.citation.volume	2-3	en_US
utslib.citation.volume	339	en_US
utslib.for	01 Mathematical Sciences	en_US
utslib.for	08 Information and Computing Sciences	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Science
pubs.organisational-group	/University of Technology Sydney/Faculty of Science/School of Mathematical and Physical Sciences
utslib.copyright.status	open_access
pubs.issue	2-3	en_US
pubs.publication-status	Published	en_US
pubs.volume	339	en_US

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. © 2005 Elsevier B.V. All rights reserved.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/98846