We formulate the noisy-channel model as a PCFG and encode the substitute, split, and delete operations as grammar rules.
for l ∈ L, where l ∈ L are the start symbols as well as the nonterminals of the PCFG.