User:Demastrie/Books/DissertationTheories


 * Automata theory
 * Formal language
 * Abstract machine
 * Automaton
 * Finite-state machine
 * Formal verification
 * Model checking
 * Formal equivalence checking
 * Software verification
 * Binary decision diagram
 * Theory
 * Theory of computation
 * Computability theory
 * Complexity class
 * Probabilistic Turing machine
 * Non-deterministic Turing machine