Example image of eyePlorer eyePlorer map for 'Computability': Computability theory Computer science Mathematical logic Algorithm Turing machine Automata theory Hypercomputation Parallel computing Computational complexity theory Computational problem Decision problem Primality test Function problem Optimization problem Search problem Model of computation Abstract machine 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 Turing machine equivalents Programming language Regular expression Finite-state machine Context-free grammar Pushdown automaton Chomsky hierarchy Formal language Nondeterministic finite state machine Regular language Pigeonhole principle Pumping lemma for regular languages Context-free language Pumping lemma for context-free languages Recursive language Recursively enumerable language Halting problem Undecidable Rice's theorem Concurrency (computer science) Parallel Random Access Machine Petri net