Add new automaton to index.html, expand README.md