Applications of L systems to group theory

Laura Ciobanu, Murray Elder, Michal Ferov

Research output: Contribution to journalArticle

5 Citations (Scopus)
27 Downloads (Pure)

Abstract

L systems generalize context-free grammars by incorporating parallel rewriting, and generate languages such as EDT0L and ET0L that are strictly contained in the class of indexed languages. In this paper, we show that many of the languages naturally appearing in group theory, and that were known to be indexed or context-sensitive, are in fact ET0L and in many cases EDT0L. For instance, the language of primitives and bases in the free group on two generators, the Bridson–Gilman normal forms for the fundamental groups of 3-manifolds or orbifolds, and the co-word problem of Grigorchuk’s group can be generated by L systems. To complement the result on primitives in rank 2 free groups, we show that the language of primitives, and primitive sets, in free groups of rank higher than two is context-sensitive. We also show the existence of EDT0L languages of intermediate growth.

Original languageEnglish
Pages (from-to)309-329
Number of pages21
JournalInternational Journal of Algebra and Computation
Volume28
Issue number2
DOIs
Publication statusPublished - 22 Feb 2018

Keywords

  • co-word problem
  • EDT0L language
  • ET0L language
  • Free group
  • Grigorchuk group
  • indexed language
  • normal form
  • primitive

ASJC Scopus subject areas

  • Mathematics(all)

Fingerprint Dive into the research topics of 'Applications of L systems to group theory'. Together they form a unique fingerprint.

Cite this