JavascriptPrioAutomatonBuilder
automata