Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Theory_of_computation> ?p ?o }
- Theory_of_computation abstract "In theoretical computer science and mathematics, the theory of computation is the branch that deals with how efficiently problems can be solved on a model of computation, using an algorithm. The field is divided into three major branches: automata theory and language, computability theory, and computational complexity theory, which are linked by the question: "What are the fundamental capabilities and limitations of computers?."In order to perform a rigorous study of computation, computer scientists work with a mathematical abstraction of computers called a model of computation. There are several models in use, but the most commonly examined is the Turing machine. Computer scientists study the Turing machine because it is simple to formulate, can be analyzed and used to prove results, and because it represents what many consider the most powerful possible "reasonable" model of computation (see Church–Turing thesis). It might seem that the potentially infinite memory capacity is an unrealizable attribute, but any decidable problem solved by a Turing machine will always require only a finite amount of memory. So in principle, any problem that can be solved (decided) by a Turing machine can be solved by a computer that has a bounded amount of memory.".
- Theory_of_computation thumbnail Maquina.png?width=300.
- Theory_of_computation wikiPageExternalLink theory-bk.html.
- Theory_of_computation wikiPageExternalLink toc.csail.mit.edu.
- Theory_of_computation wikiPageExternalLink toc.seas.harvard.edu.
- Theory_of_computation wikiPageExternalLink cl.html.
- Theory_of_computation wikiPageExternalLink pvsnp.pdf.
- Theory_of_computation wikiPageID "30402".
- Theory_of_computation wikiPageLength "17215".
- Theory_of_computation wikiPageOutDegree "89".
- Theory_of_computation wikiPageRevisionID "678081872".
- Theory_of_computation wikiPageWikiLink Alan_Turing.
- Theory_of_computation wikiPageWikiLink Algorithm.
- Theory_of_computation wikiPageWikiLink Alonzo_Church.
- Theory_of_computation wikiPageWikiLink Alphabet.
- Theory_of_computation wikiPageWikiLink Asymptotic_analysis.
- Theory_of_computation wikiPageWikiLink Automata_theory.
- Theory_of_computation wikiPageWikiLink Beta_reduction.
- Theory_of_computation wikiPageWikiLink Big_O_notation.
- Theory_of_computation wikiPageWikiLink Carl_Herbert_Smith.
- Theory_of_computation wikiPageWikiLink Category:Theory_of_computation.
- Theory_of_computation wikiPageWikiLink Chomsky_hierarchy.
- Theory_of_computation wikiPageWikiLink Church–Turing_thesis.
- Theory_of_computation wikiPageWikiLink Claude_Shannon.
- Theory_of_computation wikiPageWikiLink Clay_Mathematics_Institute.
- Theory_of_computation wikiPageWikiLink Combinatory_logic.
- Theory_of_computation wikiPageWikiLink Computability_theory.
- Theory_of_computation wikiPageWikiLink Computational_complexity_theory.
- Theory_of_computation wikiPageWikiLink Computer_science.
- Theory_of_computation wikiPageWikiLink Context-free_grammar.
- Theory_of_computation wikiPageWikiLink Context-sensitive_grammar.
- Theory_of_computation wikiPageWikiLink Decidability_(logic).
- Theory_of_computation wikiPageWikiLink Eitan_Gurari.
- Theory_of_computation wikiPageWikiLink Finite-state_machine.
- Theory_of_computation wikiPageWikiLink Finite_state_automaton.
- Theory_of_computation wikiPageWikiLink Finite_state_machines.
- Theory_of_computation wikiPageWikiLink First-order_logic.
- Theory_of_computation wikiPageWikiLink Formal_language.
- Theory_of_computation wikiPageWikiLink Function_composition_(computer_science).
- Theory_of_computation wikiPageWikiLink Grammar.
- Theory_of_computation wikiPageWikiLink Gödel_numbering.
- Theory_of_computation wikiPageWikiLink Halting_problem.
- Theory_of_computation wikiPageWikiLink Hartley_Rogers,_Jr.
- Theory_of_computation wikiPageWikiLink Hartley_Rogers,_Jr..
- Theory_of_computation wikiPageWikiLink Harvard.
- Theory_of_computation wikiPageWikiLink Harvard_University.
- Theory_of_computation wikiPageWikiLink Introduction_to_Automata_Theory,_Languages,_and_Computation.
- Theory_of_computation wikiPageWikiLink Jeffrey_D._Ullman.
- Theory_of_computation wikiPageWikiLink Jeffrey_Ullman.
- Theory_of_computation wikiPageWikiLink John_Hopcroft.
- Theory_of_computation wikiPageWikiLink John_von_Neumann.
- Theory_of_computation wikiPageWikiLink Kurt_Gödel.
- Theory_of_computation wikiPageWikiLink Lambda_calculus.
- Theory_of_computation wikiPageWikiLink Linear_bounded_automaton.
- Theory_of_computation wikiPageWikiLink Markov_algorithm.
- Theory_of_computation wikiPageWikiLink Martin_Davis.
- Theory_of_computation wikiPageWikiLink Massachusetts_Institute_of_Technology.
- Theory_of_computation wikiPageWikiLink Mathematical_logic.
- Theory_of_computation wikiPageWikiLink Mathematics.
- Theory_of_computation wikiPageWikiLink Michael_Sipser.
- Theory_of_computation wikiPageWikiLink Millennium_Prize_Problems.
- Theory_of_computation wikiPageWikiLink Model_of_computation.
- Theory_of_computation wikiPageWikiLink NP_(complexity).
- Theory_of_computation wikiPageWikiLink Number_theory.
- Theory_of_computation wikiPageWikiLink P_=_NP_problem.
- Theory_of_computation wikiPageWikiLink P_versus_NP_problem.
- Theory_of_computation wikiPageWikiLink Primitive_recursion.
- Theory_of_computation wikiPageWikiLink Primitive_recursive_function.
- Theory_of_computation wikiPageWikiLink Program_semantics.
- Theory_of_computation wikiPageWikiLink Programming_language.
- Theory_of_computation wikiPageWikiLink Pushdown_automaton.
- Theory_of_computation wikiPageWikiLink Quantification_theory.
- Theory_of_computation wikiPageWikiLink Recursion_theory.
- Theory_of_computation wikiPageWikiLink Recursively_enumerable_language.
- Theory_of_computation wikiPageWikiLink Register_machine.
- Theory_of_computation wikiPageWikiLink Regular_expression.
- Theory_of_computation wikiPageWikiLink Regular_expressions.
- Theory_of_computation wikiPageWikiLink Regular_grammar.
- Theory_of_computation wikiPageWikiLink Rices_theorem.
- Theory_of_computation wikiPageWikiLink Richard_L._Epstein.
- Theory_of_computation wikiPageWikiLink S._Barry_Cooper.
- Theory_of_computation wikiPageWikiLink Semantics_(computer_science).
- Theory_of_computation wikiPageWikiLink Semi-Thue_system.
- Theory_of_computation wikiPageWikiLink Stephen_Cole_Kleene.
- Theory_of_computation wikiPageWikiLink Stephen_Cook.
- Theory_of_computation wikiPageWikiLink Stephen_Kleene.
- Theory_of_computation wikiPageWikiLink String_(computer_science).
- Theory_of_computation wikiPageWikiLink String_rewriting_system.
- Theory_of_computation wikiPageWikiLink Theoretical_computer_science.
- Theory_of_computation wikiPageWikiLink Turing_Award.
- Theory_of_computation wikiPageWikiLink Turing_machine.
- Theory_of_computation wikiPageWikiLink Walter_A._Carnielli.
- Theory_of_computation wikiPageWikiLink Μ-recursive_function.
- Theory_of_computation wikiPageWikiLink File:Chomsky-hierarchy.svg.
- Theory_of_computation wikiPageWikiLink File:Complexity_subsets_pspace.svg.
- Theory_of_computation wikiPageWikiLink File:Maquina.png.
- Theory_of_computation wikiPageWikiLinkText "Computing Theory".
- Theory_of_computation wikiPageWikiLinkText "Theory of Computation".
- Theory_of_computation wikiPageWikiLinkText "Theory of computation".
- Theory_of_computation wikiPageWikiLinkText "Theory_of_computation#History".