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
|
https://www.w3.org/2000/01/rdf-schema#label |
An Introduction to the Theory of Computation
|
gptkbp:ISBN |
978-0534947286
|
gptkbp:language |
English
|
gptkbp:notableFor |
clear explanations
widely used textbook |
gptkbp:publisher |
PWS Publishing
|
gptkbp:subject |
gptkb:complexity_theory
automata theory computability theory theoretical computer science |
gptkbp:usedIn |
university courses
|
gptkbp:bfsParent |
gptkb:Eitan_M._Gurari
|
gptkbp:bfsLayer |
7
|