Finite Automaton

Σ: