. "Clearing restarting automaton" . "Clearing restarting automaton" . .