simple automaton demo