sequence-algorithms/figures/part1/automaton.pdf