1、文字處理是信息處理的重要內(nèi)容，校對過程又是文字處理過程中的重要環(huán)節(jié)。隨著計算機(jī)文字處理自動化程度的進(jìn)一步提高，校對過程正在從完全人工校對到計算機(jī)軟件系統(tǒng)輔助校對直到走向計算機(jī)自動校對。如同計算機(jī)可以輔助畫畫、輔助作曲和輔助寫作而不能代替人實現(xiàn)完全自主創(chuàng)作一樣，計算機(jī)輔助校對的自動化程度可以進(jìn)一步提高，卻不能完全代替人的校對工作。從信息處理的角度講，校對實際上是文字編輯創(chuàng)作的有機(jī)組成部分。
　　文字信息處理的數(shù)字化，對應(yīng)著離散數(shù)字編

2、碼，文字輸出是一種半結(jié)構(gòu)性的編碼，如標(biāo)點符號，就是一種信道輸出編碼中的奇偶位校驗推廣，是一種模方程校對。
　　校對比對模型是最基本的一種校對模型，比較適合利用計算機(jī)進(jìn)行自動校對。利用極大似然或最小距離進(jìn)行比對適合校對沒有明確比對目標(biāo)的清樣，當(dāng)信道對稱時,極大似然和最小距離原則等價。現(xiàn)在應(yīng)用的計算機(jī)文字處理系統(tǒng)中采用的就是比對模式的校驗糾正方法。
　　深入的校對的理論依據(jù)是文字結(jié)構(gòu)的可靠性信道編碼特性決定的。這一結(jié)論，一方面說

3、明了校對之所以能夠發(fā)現(xiàn)和改進(jìn)錯誤的理論依據(jù)，另一方面也給出了校對算法的框架。根據(jù)通信編碼中的調(diào)制解調(diào)機(jī)制和文字校對的理論依據(jù)，我們建立基于極大似然、最小距離和各種合理意義下的校對標(biāo)準(zhǔn)。
　　依據(jù)校對模型，可以實現(xiàn)校對水平和校對質(zhì)量的統(tǒng)計估計，為校對管理和質(zhì)量控制提供了科學(xué)方法。
　　將上述理論依據(jù)和實際方法應(yīng)用到出版校對過程中，取得了傳統(tǒng)方法無法得到的有用信息。
　　文字結(jié)構(gòu)的編碼方法的理論分析和基于該分析基礎(chǔ)上的自動