A Course in Formal Languages, Automata and Groups (Universitext)

This comprehensive text uniquely presents a thorough introduction into the connections between group theory and formal languages. It also offers precise definitions, clear and succinct proofs, and an account of the Muller-Schupp theorem.