Cover Image
Read Now

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

Full description

Bibliographic Details
Main Author: Chiswell, Ian M.
Format: eBook
Language:English
Published: London Springer London 2009, 2009
Edition:1st ed. 2009
Series:Universitext
Subjects:
Group Theory And Generalizations
Algebraic Topology
Group Theory
Formal Languages And Automata Theory
Machine Theory
Algebra, Homological
Category Theory, Homological Algebra
Manifolds And Cell Complexes
Manifolds (mathematics)
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
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

Similar Items