9-4单变量有理函数域 9.4.1域上的一元有理分式域的定义 设R为一整环,命S={(b,a)|a,b∈R,a≠0}。现在S中规定为 逐一验证“反身性”、“对称性”、“传递性”可知为一等价关系。用(b,a)表示与 (ba)等价的元素的全体。现记S关于u的等价类的集合为%,则(b,a)是中的元 素。下面在上定义二元运算:

讨论构建多自然语言互译机译系统所需的高质量、可扩充、完备的、无可弃、无重复、无非正常歧义的多语统一语义单元知识库.在构建过程中采用类型特征分类方法有效降低计算复杂性,使去重复的计算量降低一半,去可弃的计算量降到O(βN)(N是语义单元库规模,β是有界数,β