AutomatonRunner checks if a expression can be interpreted by the previously generated automaton