Overview
- Most books on formal languages and automata are written for undergraduates in computer science; in contrast, this book provides a rigorous text aimed at the postgraduate-level mathematician with precise definitions and clear and succinct proofs.
- The book examines the interplay between group theory and formal languages, and is the first to include an account of the significant Muller-Schupp theorem.
- Includes a clear account of deterministic context-free languages and their connection with LR(k) grammars.
- A complete solutions manual is available to lecturers via the web.
- Includes supplementary material: sn.pub/extras
- Request lecturer material: sn.pub/lecturer-material
Part of the book series: Universitext (UTX)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (5 chapters)
Keywords
About this book
Reviews
From the reviews:
"This short work by Chiswell … covers formal languages, automata theory, and the word problem in group theory. This content is bound together by the unifying theme of what is known as Church’s thesis, which states that any desirable definition of computability should coincide with recursiveness. … Several appendixes serve as homes for … distracting proofs of results needed in the main body of the text, or for solutions to selected instances of the abundant exercises. Summing Up: Recommended. Academic readers, upper-division undergraduates through researchers/faculty." (F. E. J. Linton, Choice, Vol. 46 (11), 2009)
Authors and Affiliations
Bibliographic Information
Book Title: A Course in Formal Languages, Automata and Groups
Authors: Ian M. Chiswell
Series Title: Universitext
DOI: https://doi.org/10.1007/978-1-84800-940-0
Publisher: Springer London
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Springer-Verlag London 2009
Softcover ISBN: 978-1-84800-939-4Published: 06 February 2009
eBook ISBN: 978-1-84800-940-0Published: 14 November 2008
Series ISSN: 0172-5939
Series E-ISSN: 2191-6675
Edition Number: 1
Number of Pages: IX, 157
Number of Illustrations: 30 b/w illustrations
Topics: Group Theory and Generalizations, Mathematical Logic and Formal Languages, Algebraic Topology, Manifolds and Cell Complexes (incl. Diff.Topology), Category Theory, Homological Algebra