About: Theory of computation

Property	Value
rdf:type	skos:Concept
rdfs:label	Theory of computation
skos:broader	dbpedia:Category:Recursion_theory dbpedia:Category:Theoretical_computer_science
skos:prefLabel	Theory of computation
is skos:broader of	dbpedia:Category:Automata_theory dbpedia:Category:Computational_models dbpedia:Category:Computer_arithmetic dbpedia:Category:Reduction_systems dbpedia:Category:Recursion dbpedia:Category:Rewriting_systems
is skos:subject of	dbpedia:Recursion dbpedia:Church–Turing_thesis dbpedia:Slide_rule dbpedia:Post_correspondence_problem dbpedia:Recursively_enumerable_language dbpedia:Computable_number dbpedia:Computable_function dbpedia:Chaitin's_constant dbpedia:Rice's_theorem dbpedia:Smn_theorem dbpedia:Theory_of_computation dbpedia:Wang_tile dbpedia:Omega_language dbpedia:List_of_undecidable_problems dbpedia:Computable_isomorphism dbpedia:History_of_the_Church–Turing_thesis dbpedia:Machine_that_always_halts dbpedia:Μ-recursive_function dbpedia:Primitive_recursive_function dbpedia:Bremermann's_limit dbpedia:Recursive_set dbpedia:Powerset_construction dbpedia:Recursively_enumerable_set dbpedia:Semi-Thue_system dbpedia:Sudan_function dbpedia:Two-way_deterministic_finite_automaton dbpedia:Computational_semiotics dbpedia:Cylindrification dbpedia:Extended_finite_state_machine dbpedia:First_Draft_of_a_Report_on_the_EDVAC dbpedia:Hypercomputation dbpedia:Limiting_recursive dbpedia:Limits_to_computation dbpedia:Model_of_computation dbpedia:Halting_problem dbpedia:Nondeterministic_algorithm dbpedia:Recursive_language dbpedia:Turing_completeness dbpedia:Busy_beaver dbpedia:Acceptable_programming_system dbpedia:Blockhead_(computer_system) dbpedia:Mortality_(computability_theory) dbpedia:Chain_rule_for_Kolmogorov_complexity dbpedia:Church–Turing–Deutsch_principle dbpedia:Communicating_X-Machine dbpedia:Computation_history dbpedia:Computation_in_the_limit dbpedia:Effective_method dbpedia:Introduction_to_the_Theory_of_Computation dbpedia:Kolakoski_sequence dbpedia:List_of_computability_and_complexity_topics dbpedia:Parallel_terraced_scan dbpedia:Entscheidungsproblem dbpedia:Gödel_number dbpedia:Computability dbpedia:Ackermann_function dbpedia:Self-reference dbpedia:Nomogram dbpedia:Byzantine_fault_tolerance dbpedia:Recurrence_relation dbpedia:Tail_recursion dbpedia:Markov_algorithm dbpedia:Cylindric_numbering dbpedia:Description_number dbpedia:Digital_physics dbpedia:Mutual_recursion dbpedia:Range_problem dbpedia:Real_computation dbpedia:Rice–Shapiro_theorem dbpedia:Rogers'_equivalence_theorem dbpedia:Simply_typed_lambda_calculus dbpedia:Two_Generals'_Problem dbpedia:Typed_lambda_calculus dbpedia:X-machine dbpedia:Numbering_(computability_theory) dbpedia:Object-capability_model dbpedia:Recursive_languages_and_sets dbpedia:Ten15 dbpedia:Tarski–Kuratowski_algorithm dbpedia:Turing_machine_equivalents dbpedia:Parallel_computation_thesis dbpedia:Property_testing dbpedia:Quantum_Turing_machine dbpedia:Small_step_semantics dbpedia:Stream_X-Machine dbpedia:Turing_tarpit dbpedia:Turing_degree dbpedia:Utm_theorem dbpedia:X-Machine_Testing dbpedia:Quantum_Byzantine_agreement dbpedia:Scale_factor_(computer_science) dbpedia:Shadow_square dbpedia:Super-recursive_algorithm dbpedia:Unsolved_problems_in_computer_science