Introduction to Computer Theory /
Cohen, Daniel I. A., 1946-
Introduction to Computer Theory / Daniel I.A. Cohen. - 2nd ed. - New York ; Chichester : Wiley, c1997. - xiv, 634 p. : ill. ; 27 cm.
Includes bibliography (p. 619-620) and index.
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.
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. It is easy to read and the coverage of mathematics is fairly simple so readers do not have to worry about proving theorems.
0471137723
Electronic digital computers.
QA76.5 / .C558 1997
Introduction to Computer Theory / Daniel I.A. Cohen. - 2nd ed. - New York ; Chichester : Wiley, c1997. - xiv, 634 p. : ill. ; 27 cm.
Includes bibliography (p. 619-620) and index.
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.
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. It is easy to read and the coverage of mathematics is fairly simple so readers do not have to worry about proving theorems.
0471137723
Electronic digital computers.
QA76.5 / .C558 1997