better automata through combinators - View it on GitHub