source code under
TI/elm/regular-grammars/WebsiteForFiniteStateMachines.elm
Finite Automaton Checker
do:mi:nik.sche-der
is correct