#automata

DFA, NFA and epsilon-NFA, plus Mealy and Moore machines, with transition diagrams and where each one is used.