https://erdorin.org/automata/