Computation and Automata

Erscheinungsjahr 2011
ISBN: 978-0-521-17733-7
Verlag: Cambridge University Press

Buch, Englisch, Band 25, 300 Seiten, Format (B × H): 156 mm x 234 mm, Gewicht: 459 g

Reihe: Encyclopedia of Mathematics and its Applications

In this book, which was originally published in 1985, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science: computability and recursive functions, formal languages and automata, computational complexity and cryptography. Without sacrificing readability, the presentation is essentially self-contained, with detailed proofs of all statements provided. Professor Salomaa is well known for his books in this area. The present work provides an insight into the basics, together with explanations of some of the more important developments in the field.

Autoren/Hrsg.

Salomaa, Arto

Salomaa

Fachgebiete

• Mathematik | Informatik EDV | Informatik Informatik Theoretische Informatik
• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten

Inhaltsverzeichnis

Editor's statement
Foreword G. Rozenberg
Acknowledgements
1. Introduction: models of computation
2. Rudiments of language theory
3. Restricted automata
4. Turing machines and recursive functions
5. Famous decision problems
6. Computational complexity
7. Cryptography
8. Trends in automata and language theory
Historical and bibliographical remarks