A Course in Formal Languages, Automata and Groups

• Κύριος συγγραφέας: Chiswell, Ian M. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London, 2009.
• Σειρά: Universitext
• Θέματα: Mathematics.; Mathematical logic.; Category theory (Mathematics).; Homological algebra.; Group theory.; Algebraic topology.; Manifolds (Mathematics).; Complex manifolds.; Group Theory and Generalizations.; Mathematical Logic and Formal Languages.; Algebraic Topology.; Manifolds and Cell Complexes (incl. Diff.Topology).; Category Theory, Homological Algebra.

Based on the author’s 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...

Πίνακας περιεχομένων:

• 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.