Automaton definition with Windows Program