| Document Type
|
:
|
BL
|
| Record Number
|
:
|
878329
|
| Main Entry
|
:
|
Cohen, Daniel I. A.,1946-
|
| Title & Author
|
:
|
Introduction to computer theory /\ Daniel I.A. Cohen.
|
| Edition Statement
|
:
|
2nd ed.
|
| Publication Statement
|
:
|
New York :: Wiley,, ©1997.
|
| Page. NO
|
:
|
xiv, 634 pages :: illustrations ;; 27 cm
|
| ISBN
|
:
|
0471137723
|
|
|
:
|
: 9780471137726
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references (pages 619-620) and index.
|
| Contents
|
:
|
Background -- Languages -- Recursive definitions -- Regular expressions -- Finite automata -- Transition graphs -- Kleene's theorem -- Finite automata with output -- Regular languages -- Nonregular languages -- Decidability -- Context-free grammars -- Grammatical format -- Pushdown automata -- DFG = PDA -- Non-context-free languages -- Context-free languages -- Decidability -- Turing machines -- Post machines -- Minsky's theorem -- Variations on the TM -- TM languages -- The Chomsky hierarchy -- Computers.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Electronic digital computers.
|
| Subject
|
:
|
Computers.
|
| Subject
|
:
|
Automates.
|
| Subject
|
:
|
Electronic digital computers.
|
| Subject
|
:
|
Ordinateurs.
|
| Subject
|
:
|
Automatentheorie.
|
| Subject
|
:
|
Fundamentele informatica.
|
| Dewey Classification
|
:
|
511.3
|
| LC Classification
|
:
|
QA76.5.C558 1997
|
| NLM classification
|
:
|
54.10bcl
|