the correction phase, multiple sentence candidates are automatically generated (based on the transformation rules) and they are checked against the language model to see which one yields the lowest perplexity.
once an error is found, its correction way tends to be applied provided that the language model offers another solution.