|
gptkbp:instanceOf
|
gptkb:academic
|
|
gptkbp:fieldOfStudy
|
computer science
|
|
gptkbp:hasApplication
|
gptkb:artificial_intelligence
gptkb:machine_learning
gptkb:programming_language
gptkb:quantum_computing
cryptography
distributed systems
natural language processing
network protocols
software engineering
bioinformatics
automated theorem proving
compiler design
formal verification
database theory
model checking
complexity analysis
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Theory of Computation
|
|
gptkbp:includes
|
gptkb:Chomsky_hierarchy
gptkb:Church-Turing_thesis
gptkb:finite_automata
gptkb:pushdown_automata
gptkb:NP-completeness
gptkb:P_versus_NP_problem
undecidability
Turing machines
context-free languages
recursively enumerable languages
regular languages
computational complexity
recursive languages
decidability
language hierarchy
|
|
gptkbp:keyFigure
|
gptkb:Alan_Turing
gptkb:Alonzo_Church
gptkb:Emil_Post
gptkb:Kurt_Gödel
gptkb:Stephen_Cook
|
|
gptkbp:relatedTo
|
gptkb:information_theory
gptkb:logic
discrete mathematics
algorithm theory
|
|
gptkbp:studies
|
gptkb:complexity_theory
automata theory
computability theory
formal languages
computational models
|
|
gptkbp:taughtAt
|
university courses
|
|
gptkbp:bfsParent
|
gptkb:Department_of_Computer_Science,_Columbia_University
|
|
gptkbp:bfsLayer
|
6
|