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

Elder, Murray (2005) A context-free and a 1-counter geodesic language for a Baumslag-Solitar group.. Theoretical Computer Science, 339 2-3: 344-371.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads

Author Elder, Murray
Title A context-free and a 1-counter geodesic language for a Baumslag-Solitar group.
Journal name Theoretical Computer Science   Check publisher's open access policy
ISSN 0304-3975
Publication date 2005-06
Sub-type Article (original research)
DOI 10.1016/j.tcs.2005.03.026
Volume 339
Issue 2-3
Start page 344
End page 371
Total pages 28
Place of publication Amsterdam
Publisher Elsevier
Language eng
Subject 010105 Group Theory and Generalisations
080203 Computational Logic and Formal Languages
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.
Keyword Regular
Context-free
G-automaton
Counter; 1-counter
Baumslag–Solitar group
Language of geodesics
Q-Index Code C1

Document type: Journal Article
Sub-type: Article (original research)
Collections: Excellence in Research Australia (ERA) - Collection
School of Mathematics and Physics
 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 2 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 2 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Access Statistics: 62 Abstract Views, 3 File Downloads  -  Detailed Statistics
Created: Tue, 10 Feb 2009, 16:06:54 EST by Judy Dingwall on behalf of Mathematics