simplified automaton_cli