auto-fux to automaton