TAGs provide a systematic way of formalizing the channel model, and their polynomialtime dynamic programming parsing algorithms can be used to search for likely repairs, at least when used with simple language models like a bigram language model.
when a repair has begun, the channel model incrementally processes the succeeding words from the start of the repair.