Detta dokument beskriver ett nytt program, korrekt, som kräver ord som förkastas av Unix® stavningsprogrammet, föreslår en lista över kandidatkorrigeringar, och sorterar dem med sannolikhet. Sannolikhetspoängen är det nya bidraget från detta arbete. Sannolikheterna är baserade på en bullrig kanalmodell. Det antas att typikern vet vilka ord han eller hon vill skriva men vissa ljud läggs till på vägen till tangentbordet (i form av skrivfel och stavfel). Med hjälp av ett klassiskt Bayesianskt argument av det slag som är populärt i taligenkänningslitteraturen (Jelinek, 1985), kan man ofta återfå den avsedda korrigeringen, c, från ett typo, t, genom att hitta korrigeringen c som maximerar Pr(c)Pr(tlc). Den första faktorn, Pr(c), är en tidigare modell av ordsannolikhet; den andra faktorn, Pr(t[c), är en modell av den bullriga kanalen som står för stavning av omvandlingar på bokstavssekvenser (t.ex. tillägg, raderingar, substitutioner och reverseringar). Båda uppsättningarna sannolikheter utbildades på data som samlats in från nyhetstråden Associated Press (AP). Denna text är idealisk för detta ändamål eftersom den innehåller ett stort antal skrivfel (omkring två tusen per månad).
Kernighan m.fl. REF använde den bullriga kanalmodellen för stavningskorrigering.