automata-reducer specs

this page runs the automata-reducer unit tests in your browser