This automaton recognizes:
the set of strings on the alphabet I={0,1} containing at least two consecutive 0's or two consecutive 1's.
Local users:
to run simulation
(read here before running).
twoCon1or0.aut from the main menu bar.
Actions: