Formal Languages and Infinite Groups

1995/09/11 by Gilman, Robert · 1 citation
#FOS: Mathematics #Group Theory (math.GR)

paper · doi:10.48550/arxiv.math/9509204

Abstract

This article is an introduction to formal languages from the point of view of combinatorial group theory. Group theoretic applications are included and language classes are defined algebraically.

Cited by

• The theory of reachability in trace-pushdown systems

Related

• Languages recognised by finite semigroups, and their generalisations to objects such as trees and graphs, with an emphasis on definability in monadic second-order logic
• Describing groups using first-order language
• A language theoretic analysis of combings
• Infinite Words and Morphic Languages Formalized in Isabelle/HOL
• Conjugacy languages in groups