Example image of eyePlorer eyePlorer map for 'Theory of computation': Algorithm Computer science Mathematics Model of computation Computability Computational complexity theory Turing machine Decidability (logic) Alan Turing Alonzo Church Claude Shannon John von Neumann Noam Chomsky Stephen Cole Kleene Halting problem Rice's theorem Computability theory Mathematical logic Theory of computation Big O notation NP (complexity) P versus NP problem Church–Turing thesis Lambda calculus Μ-recursive function Function composition (computer science) Primitive recursive function Grammar Markov algorithm Semi-Thue system String (computer science) Modular arithmetic Brainfuck Programming language Regular expression Finite-state machine Context-free grammar Pushdown automaton Chomsky hierarchy Formal language Formal semantics Neural network Parallel computing Quantum computer Jeffrey Ullman John Hopcroft Introduction to Automata Theory, Languages, and Computation Martin Davis First-order logic Formal semantics of programming languages
Disclaimer