Welcome to IOU Digital Library

A classical textbook on theoretical computer science, presenting formal foundations of computation including automata theory, formal languages, Turing machines, decidability, and complexity. Intended for advanced undergraduates and graduate students, the book develops rigorous mathematical theory and proofs to introduce core concepts in computability and computational complexity.

no reviews

245: $a: An Introduction to the Theory of Computation
245: $b:
082: $a:
100: $a: Eitan Gurari
650: $a: Computability & complexity theory
250: $a:
440: $v:
250: $b: Computer Science Press
250: $c: 1989
020: $a: 978-0-7167-8182-5
300: $a: 467