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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Chiswell, Ian M. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Springer London : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Colección:Universitext,
Temas:
Group theory.
Machine theory.
Algebraic topology.
Manifolds (Mathematics).
Algebra, Homological.
Group Theory and Generalizations.
Formal Languages and Automata Theory.
Algebraic Topology.
Manifolds and Cell Complexes.
Category Theory, Homological Algebra.
Acceso en línea:Texto Completo
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.

Ejemplares similares