Started automata algorithm.