Finite state automaton

Summary