/wiki/Computational_theory_of_mind
/wiki/Theory_of_Computing
/wiki/Turing_machine
/wiki/Theoretical_computer_science
/wiki/Mathematics
/wiki/Model_of_computation
/wiki/Algorithm
/wiki/Automata_theory
/wiki/Computability_theory
/wiki/Computational_complexity_theory
/wiki/Church%E2%80%93Turing_thesis
/wiki/Decidability_(logic)
/wiki/Mathematical_logic
/wiki/Alonzo_Church
/wiki/Kurt_G%C3%B6del
/wiki/Alan_Turing
/wiki/Stephen_Kleene
/wiki/R%C3%B3zsa_P%C3%A9ter
/wiki/John_von_Neumann
/wiki/Claude_Shannon
/wiki/Recursively_enumerable_language
/wiki/Context-sensitive_grammar
/wiki/Linear_bounded_automaton
/wiki/Context-free_grammar
/wiki/Pushdown_automaton
/wiki/Regular_grammar
/wiki/Finite_state_automaton
/wiki/Formal_language
/wiki/Alphabet
/wiki/Chomsky_hierarchy
/wiki/Halting_problem
/wiki/Rice%27s_theorem
/wiki/Recursion_theory
/wiki/Big_O_notation
/wiki/Asymptotic_analysis
/wiki/Computer_science
/wiki/NP_(complexity)
/wiki/P_%3D_NP_problem
/wiki/P_versus_NP_problem
/wiki/Millennium_Prize_Problems
/wiki/Clay_Mathematics_Institute
/wiki/Turing_Award
/wiki/Stephen_Cook
/wiki/Lambda_calculus
/wiki/Beta_reduction
/wiki/Combinatory_logic
/wiki/%CE%9C-recursive_function
/wiki/Function_composition_(computer_science)
/wiki/Primitive_recursion
/wiki/Markov_algorithm
/wiki/String_rewriting_system
/wiki/Grammar
/wiki/String_(computer_science)
/wiki/Register_machine
/wiki/G%C3%B6del_numbering
/wiki/Number_theory
/wiki/Regular_expressions
/wiki/Programming_language
/wiki/Finite_state_machines
/wiki/Primitive_recursive_function
/wiki/John_Hopcroft
/wiki/Jeffrey_D._Ullman
/wiki/Introduction_to_Automata_Theory,_Languages,_and_Computation
/wiki/International_Standard_Book_Number
/wiki/Michael_Sipser
/wiki/Martin_Davis
/wiki/Program_semantics
/wiki/Quantification_theory
/wiki/Hartley_Rogers,_Jr
/wiki/S._Barry_Cooper
/wiki/Carl_Herbert_Smith
/wiki/Massachusetts_Institute_of_Technology
/wiki/Harvard
/wiki/Areas_of_mathematics
/wiki/Outline_of_mathematics
/wiki/Lists_of_mathematics_topics
/wiki/Algebra
/wiki/Linear_algebra
/wiki/Multilinear_algebra
/wiki/Abstract_algebra
/wiki/Elementary_algebra
/wiki/Arithmetic
/wiki/Calculus
/wiki/Mathematical_analysis
/wiki/Differential_equation
/wiki/Dynamical_systems_theory
/wiki/Numerical_analysis
/wiki/Mathematical_optimization
/wiki/Functional_analysis
/wiki/Geometry
/wiki/Discrete_geometry
/wiki/Algebraic_geometry
/wiki/Analytic_geometry
/wiki/Differential_geometry
/wiki/Finite_geometry
/wiki/Topology
/wiki/Trigonometry
/wiki/Foundations_of_mathematics
/wiki/Philosophy_of_mathematics
/wiki/Set_theory
/wiki/Category_theory
/wiki/Applied_mathematics
/wiki/Mathematical_physics
/wiki/Probability_theory
/wiki/Mathematical_statistics
/wiki/Statistics
/wiki/Game_theory
/wiki/Information_theory
/wiki/Control_theory
/wiki/History_of_mathematics
/wiki/Recreational_mathematics
/wiki/Mathematics_and_art
/wiki/Mathematics_education
/wiki/Order_theory
/wiki/Graph_theory
/wiki/Pure_mathematics
/wiki/Discrete_mathematics
/wiki/Computational_mathematics
