过渡处理系统规则的形式化.pdfVIP

过渡处理系统规则的形式化+ 韦向峰． 中国科学院声学研究所，北京l00080 wei】【ian薛朗g@siIla．㈣ 摘要 本文介绍了基于刚C理论的机器翻译的过渡处理系统，概述了计算语言 学以及人工智能领域对规则及其形式化方法的研究，简单介绍了BNF范式。本文 在产生式规则表示、BNF范式和删C符号的基础上提出了用于描述过渡处理系 统规则的规则描述语言，并给出了使用规则描述语言描述具体规则的例子。 关键词 过渡处理；规则；形式化；BNF范式；产生式规则 引言 基于规则的机器翻译可以分为三个阶段：源语分析、转换和目标语生成。从语言概念空 间的角度来看，分析阶段是从源语言空间到语言概念空间的映射，生成阶段则是从语言概念 空间到目标语言空间的反映射。由于源语言和目标语言在语言概念空间的结构、组合关系 以及表达形式并不完全相同，因此还需要在语言概念空间做转换工作。这些工作就属于过 渡处理系统所要的工作。 过渡处理系统包括包括六个方面【1J：句类转换、语句格式转换、语义块内部构成变换、 主辅变换、移位调整和小句顺