figure the (in)complete automata