A Course in Formal Languages, Automata and Groups
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 n...
Call Number: | Libro Electrónico |
---|---|
Main Author: | |
Corporate Author: | |
Format: | Electronic eBook |
Language: | Inglés |
Published: |
London :
Springer London : Imprint: Springer,
2009.
|
Edition: | 1st ed. 2009. |
Series: | Universitext,
|
Subjects: | |
Online Access: | Texto Completo |
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.