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

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Chiswell, Ian M. (Auteur)
Collectivité auteur: SpringerLink (Online service)
Format: Électronique eBook
Langue:Inglés
Publié: London : Springer London : Imprint: Springer, 2009.
Édition:1st ed. 2009.
Collection:Universitext,
Sujets:
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.
Accès en ligne:Texto Completo
Table des matières:
  • 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.

Documents similaires