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

摘要

本文介绍了基于HNC理论的机器翻译的过渡处理系统,概述了计算语言学以及人工智能领域对规则及其形式化方法的研究,简单介绍了BNF范式。本文在产生式规则表示、BNF范式和HNC符号的基础上提出了用于描述过渡处理系统规则的规则描述语言,并给出了使用规则描述语言描述具体规则的例子。