An Introduction to the Theory of Computation
GPTKB entity
Statements (29)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:book
|
| gptkbp:author |
gptkb:Michael_Sipser
|
| gptkbp:chapter |
Advanced Topics in Complexity Theory
Advanced Topics in Computability Theory Context-Free Languages Decidability Finite Automata and Regular Languages Intractability Reducibility Space Complexity The Church-Turing Thesis Time Complexity |
| gptkbp:edition |
gptkb:book
third edition second edition |
| gptkbp:firstPublished |
1996
|
| gptkbp:ISBN |
978-0534947286
|
| gptkbp:language |
English
|
| gptkbp:notableFor |
clear explanations
widely used textbook |
| gptkbp:publisher |
PWS Publishing
|
| gptkbp:subject |
gptkb:theoretical_computer_science
gptkb:complexity_theory automata theory computability theory |
| gptkbp:usedIn |
university courses
|
| gptkbp:bfsParent |
gptkb:Eitan_M._Gurari
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
An Introduction to the Theory of Computation
|