合语法性检查是计算语言学研究领域中一个值得深入研究的问题。本研究主要讨论英语的合语法性检查。对于该问题,国外已有一些研究,如Kukich(1992)、Atwell and Elliott(1987)、Douglas and Dale(1992)、Golding and Schabes(1996;Kukich,1992)、Bustamante and León(1996)、Gojenola and Oronoz(2000)等都从不同的角度展开了讨论。此外,还有一些语法检查系统研究项目也值得我们回顾并参考。其中有Kuenning的Ispell、Atkinson的Aspell、Bernth的EasyEnglish、Jensen et al.的Critique、Bustamante and León的GramCheck以及Bredenkamp et al.的FLAG。 虽然语法检查系统的开发可以从确定性模型和非确定性模型两种不同的模式展开,但直接运用已有的句法分析系统来开发语法检查系统值得我们探讨。这样,想要设计一个比较成功的语法检查器,必须要有一个非常健壮的句法分析系统。目前,基于不同理论框架、应用不同方法构建的句法分析系统已有不少。其中,基于统计学模型的语法分析系统,如Collins(1999),准确率高,但速度不够快,应用于机辅适应性教学的服务器对学习者的输出进行实时处理不够理想。而链语法模型(Sleator&Temperley,1991;Lafferty et al.,1992)不但有较高的准确率,更重要地是,它在速度方面也有其过人之处。基于组合模式的英语语法检查系统正是基于链语法分析器的。因为链语法分析器的理论基础是链语法,它是一种与依存语法有着很近关系的语法模