A deterministic finite automata simulator