An automaton - or finite state machine - generator written in Dart.