DFA-EQUAL uses the process described in §3.1 to determine whether parse t evaluates to a regexp which is semantically equivalent to r, leading to the following objective: At testing time, for efficiency reasons, we calculate only the top parse.
if r = eval(t) is the regexp which results from evaluating parse t, then we generate t * = arg max t∈T ( w) p(t| w; θ, Λ), and return r * = eval(t * ).