Deterministic Finite Automata: Examples


Binary Odd Numbers

This automaton recognizes:

binary odd numbers.

Local users: to run simulation (read here before running).

If AUTOMATA is already running, you 'd better load the file BinOdNum.aut from the main menu bar.

Actions: