A Course in Formal Languages, Automata and Groups

• Main Author: Chiswell, Ian M. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic
• Language: English
• Published: London : Springer London, 2009.
• Series: Universitext
• Subjects: Mathematics.; Computer science.; Algebra.; Group theory.; Algebraic topology.; Cell aggregation > Mathematics.; Group Theory and Generalizations.; Mathematical Logic and Formal Languages.; Algebraic Topology.; Manifolds and Cell Complexes (incl. Diff.Topology).; Category Theory, Homological Algebra.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-1-84800-940-0

Based on the authors lecture notes for an MSc course, this text combines formal language and automata theory and group theory, a thriving research area that has developed extensively over the last twenty-five years. The aim of the first three chapters is to give a rigorous proof that various notion...

Table of Contents:

• Preface
• Contents
• 1. Grammars and Machine Recognition
• 2. Recursive Functions
• 3. Recursively Enumerable Sets and Languages
• 4. Context-free language
• 5. Connections with Group Theory
• A. Results and Proofs Omitted in the Text
• B. The Halting Problem and Universal Turing Machines
• C. Cantor's Diagonal Argument
• D. Solutions to Selected Exercises
• References
• Index.