User:Karoshbn/Books/MATHEMATICS IX - Theory of computation

Theory of computation

 * Theory of computation
 * Automata theory
 * Recursively enumerable language
 * Turing machine
 * Context-sensitive grammar
 * Linear bounded automaton
 * Context-free grammar
 * Pushdown automaton
 * Regular grammar
 * Finite-state machine
 * Formal language
 * Computability theory
 * Rice's theorem
 * Halting problem
 * Computational complexity theory
 * Algorithm
 * Big O notation
 * Asymptotic analysis
 * NP (complexity)
 * P versus NP problem
 * Model of computation
 * Church–Turing thesis
 * Lambda calculus
 * Combinatory logic
 * Μ-recursive function
 * Function composition (computer science)
 * Primitive recursive function
 * Markov algorithm
 * Semi-Thue system
 * Register machine
 * Gödel numbering
 * Regular expression
 * Programming language
 * Chomsky hierarchy