Add DFA diagram to README.