HTML5 front end for an automaton calculations.