To adjust automata.
To adjust automata.