Solutions for the book Theory of computing Efim Kinber and Carl Smith.
1,781 231 16MB
English Pages 102 Year 2001
Table of contents :
Finite Automata
Deterministic Finite Automata
Nondeterministic Finite Automata
Determinism versus Nondeterminism
Regular Expressions
Nonregular Languages
Algorithms for Finite Automata
The State Minimization Problem
Context-Free Languages
Context-Free Grammars
Parsing
Pushdown Automata
Languages and Automata
Closure Properties
Languages That Are Not Context-Free
Chomsky Normal Form
Determinism Exercises
Turing Machines
Multiple Tapes
Multiple Heads
Two-Dimensional Tapes
Random Access Turing Machines
Nondeterministic Turing Machines
Turing Enumerable Languages
Undecidability
The Church-Turing Thesis
Universal Turing Machines
The Halting Problem
Undecidable Problems
Computational Complexity
The Definition and the Class P
The Class NP
NP-Completeness