User:Pseudohuman92/Books/Theory of Computation


 * Introduction
 * Computer science
 * Theoretical computer science
 * Theory of computation


 * Automata Theory
 * Automata theory
 * Finite-state machine
 * Deterministic pushdown automaton
 * Pushdown automaton
 * Linear bounded automaton
 * Turing machine
 * Universal Turing machine
 * Non-deterministic Turing machine
 * Alternating Turing machine
 * Read-only Turing machine
 * Read-only right moving Turing machines
 * Multi-track Turing machine
 * Probabilistic Turing machine
 * Quantum Turing machine
 * Turing machine equivalents
 * Turing machine examples
 * Büchi automaton
 * Ω-automaton
 * Muller automaton


 * Computability Theory
 * Computability theory
 * Computable function
 * Turing degree


 * Computational Complexity Theory
 * Computational complexity theory
 * Context of computational complexity
 * Structural complexity theory
 * Descriptive complexity theory
 * Quantum complexity theory
 * Parameterized complexity
 * Game complexity
 * Proof complexity
 * Transcomputational problem


 * Appendix
 * List of complexity classes
 * List of unsolved problems in computer science
 * List of computability and complexity topics
 * List of important publications in theoretical computer science