共查询到5条相似文献,搜索用时 0 毫秒
1.
董韫美 《中国科学(E辑)》2002,(1)
建立上下文无关语言(CFL)上的递归函数理论,在CFL上定义了函数类CFRF和它的真子类CFPRF,它们可用来十分直接地表述非数值加工算法.事实上它们分别就是上下文无关语言上的偏递归函数和原始递归函数.提出了证明CFPRF函数性质的结构归纳法,给出一种枚举CFL句子的方法,定义了极小算子.基于CFL句子枚举,提出了极小算子的求值方法.最后,讨论了以CFRF为理论基础的可执行规约语言的设计和实现原则. 相似文献
2.
董韫美 《中国科学(E辑)》2002,32(1)
建立上下文无关语言(CFL)上的递归函数理论. 在CFL上定义了函数类CFRF和它的真子类CFPRF,它们可用来十分直接地表述非数值加工算法. 事实上它们分别就是上下文无关语言上的偏递归函数和原始递归函数. 提出了证明CFPRF函数性质的结构归纳法,给出一种枚举CFL句子的方法,定义了极小算子. 基于CFL句子枚举,提出了极小算子的求值方法. 最后, 讨论了以CFRF为理论基础的可执行规约语言的设计和实现原则. 相似文献
3.
董韫美 《中国科学(E辑)》2002,32(1):103-115
建立上下文无关语言(CFL)上的递归函数理论. 在CFL上定义了函数类CFRF和它的真子类CFPRF,它们可用来十分直接地表述非数值加工算法. 事实上它们分别就是上下文无关语言上的偏递归函数和原始递归函数. 提出了证明CFPRF函数性质的结构归纳法,给出一种枚举CFL句子的方法,定义了极小算子. 基于CFL句子枚举,提出了极小算子的求值方法. 最后, 讨论了以CFRF为理论基础的可执行规约语言的设计和实现原则. 相似文献
4.
本文讨论了自然语言理解时歧义发生的特点,描述了自然语言句法分析的传统方法,并利用规则与统计相结合的句法分析方法,通过语言歧义消解实例.对人和计算机语言歧义的识别理解做了较为深入地比较. 相似文献
5.
基于完备剩余格值逻辑的自动机理论——Ⅱ.可逆性及同态 总被引:1,自引:0,他引:1
邱道文 《中国科学(E辑)》2003,33(4)
揭示了基于完备剩余格值逻辑的自动机(称值自动机)与真值格(剩余格)之间的一些等价关系.特别是建立了值自动机的可恢复性(retrievability)的各种等价刻画.最后澄清了自动机之间的同态关系与连续映射和开映射之间的相互联系.因此,进一步建立了更为深刻的模糊自动机理论. 相似文献