Introduction to Computer Theory

Daniel I. A. Cohen (Author)

9780471137726, Wiley

Paperback / softback, published 27 November 1996

656 pages
25.2 x 17.8 x 3.4 cm, 1.107 kg

This text strikes a good balance between rigor and an intuitive approach to computer theory. Covers all the topics needed by computer scientists with a sometimes humorous approach that reviewers found "refreshing." The goal of the book is to provide a firm understanding of the principles and the big picture of where computer theory fits into the field.

AUTOMATA THEORY.

Background.

Languages.

Recursive Definitions.

Regular Expressions.

Finite Automata.

Transition Graphs.

Kleene's Theorem.

Finite Automata with Output.

Regular Languages.

Nonregular Languages.

Decidability.

PUSHDOWN AUTOMATA THEORY.

Context-Free Grammars.

Grammatical Format.

Pushdown Automata.

CFG = PDA.

Non-Context-Free Languages.

Context-Free Languages.

Decidability.

TURING THEORY.

Turing Machines.

Post Machines.

Minsky's Theorem.

Variations on the TM.

TM Languages.

The Chomsky Hierarchy.

Computers.

Bibliography.

Indexes.

Subject Areas: Computer science [UY]