|
" Introduction to the theory of computation / "
Michael Sipser.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
705593
|
| Doc. No
|
:
|
b527782
|
| Main Entry
|
:
|
Sipser, Michael.
|
| Title & Author
|
:
|
Introduction to the theory of computation /\ Michael Sipser.
|
| Publication Statement
|
:
|
Boston :: PWS Pub. Co.,, c1997.
|
| Page. NO
|
:
|
xv, 396 p. :: ill. ;; 25 cm.
|
| ISBN
|
:
|
053494728X
|
|
|
:
|
: 9780534947286
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references (p. 381-385) and index.
|
| Contents
|
:
|
Automata and languages. Regular languages ; Context-free languages -- Computability theory. The Church-Turing thesis ; Decidability ; Reducibility ; Advanced topics in computability theory -- Complexity theory. Time complexity ; Space complexity ; Intractability ; Advanced topics in complexity theory.
|
| Subject
|
:
|
Computational complexity.
|
| Subject
|
:
|
Machine theory.
|
| Dewey Classification
|
:
|
511.3
|
| LC Classification
|
:
|
QA267.S56 1997
|
| |