Finite state automata even number of