Introduction to computer theory

Select an Action

Title:

Author:

Cohen, Daniel I. A., 1946-

ISBN:

9780471137726

Personal Author:

Cohen, Daniel I. A., 1946-

Edition:

2nd ed.

Publication Information:

Physical Description:

xiv, 634 pages : illustrations ; 27 cm

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.

Subject Term:

Electronic digital computers.

Récursivité

Graphe.

Langage programmation.

Machine Turing.

Thèse Church.

Computers.

Electronic Access:

Table of contents http://catdir.loc.gov/catdir/toc/onix03/97133565.html
Publisher description http://catdir.loc.gov/catdir/description/wiley037/97133565.html
Cover http://swbplus.bsz-bw.de/bsz05748144xcov.htm

Copies:

Available:*

Library	Material Type	Item Barcode	Shelf Number	Copy	Status
Searching... IIEMSA	General Books	33168025465960	511.3 C678.I 1997	1	Searching... Unknown

Bound With These Titles

On Order

Summary

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.