An app that displays automata.