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 notion...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Livre numérique |
| Lenguaje: | Anglais |
| Publicado: |
London :
Springer London
[20..].
Cham : Springer Nature |
| Colección: | Universitext
|
| Acceso en línea: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Description d'après consultation du 16 mars 2012 Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • A course in formal languages, automata and groups, Ian Chiswell, London, Springer, 2009, 1 vol. (IX-157 p.), Universitext, 978-1-84800-939-4 |
Tabla de Contenidos:
- 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