Finite-state automata

Summary