Finite state automata accept both 00 and 11