User:Pvertenten/Books/Automata Theory

Automata Theory

 * Automata theory
 * Finite-state machine
 * Deterministic pushdown automaton
 * Pushdown automaton
 * Linear bounded automaton
 * Turing machine
 * Büchi automaton
 * Ω-automaton
 * Muller automaton
 * Abstract machine
 * Automaton
 * Transition system
 * State (computer science)
 * Formal language
 * Omega-regular language
 * Recursively enumerable language
 * Context-sensitive language
 * Context-free language
 * Context-free grammar
 * Formal grammar