up automata. to be completed