Finite automaton

Summary