【摘 要】
：
建立上下文无关语言(CFL)上的递归函数理论. 在CFL上定义了函数类CFRF和它的真子类CFPRF,它们可用来十分直接地表述非数值加工算法. 事实上它们分别就是上下文无关语言上的偏
【机 构】
：
中国科学院软件研究所计算机科学开放研究实验室
论文部分内容阅读
建立上下文无关语言(CFL)上的递归函数理论. 在CFL上定义了函数类CFRF和它的真子类CFPRF,它们可用来十分直接地表述非数值加工算法. 事实上它们分别就是上下文无关语言上的偏递归函数和原始递归函数. 提出了证明CFPRF函数性质的结构归纳法,给出一种枚举CFL句子的方法,定义了极小算子. 基于CFL句子枚举,提出了极小算子的求值方法. 最后, 讨论了以CFRF为理论基础的可执行规约语言的设计和实现原则.
其他文献
目的 探讨肠易激综合征(IBS)的病因、诊断及治疗方法.方法 对150例IBS门诊患者,从精神心理疏导、生活指导(生活饮食习惯)及药物治疗(谷维素、硝苯吡啶、多虑平、泰必利、复方
目的 了解医护人员手卫生依从性.方法 由受过专门培训的医院感染管理专职人员,按照统一的调查表,采用单盲法,对临床各科室的医生、护士进行现场观察的方法进行调查.结果 该院
目的 探讨前列腺电切术后三腔尿管的护理方法.方法 选取前列腺电切术后采用三腔尿管进行导尿的患者80例,随机分为两组,并使其有可比性.其中对照组33例,给予常规护理;观察组47
目的 探讨预防阿勒泰地区哈萨克族肥胖妇女妇科疾病术后双下肢深静脉血栓形成早期护理干预的效果.方法 选择2008年3月至2011年3月哈萨克族肥胖妇女腹式子宫全切术后和阴式子
目的 探讨隐裂牙的综合治疗方法及临床治疗效果.方法 回顾性分析我院收治的92例(108颗患牙)隐裂牙患者的诊治资料,观察其临床疗效.结果 108颗患牙经过综合治疗后,成功87颗,
目的 准确完成静脉注射,观察患者的过敏反应,提高腹部CT增强扫描的图像质量.方法 对700例腹部CT增强患者做好检查前的胃肠道准备工作,正确合理使用造影剂及严密观察不良反应
目的 探讨瑞芬太尼复合得普利麻全凭静脉麻醉在腹腔镜阑尾切除术中的应用.方法 将50例择期行腹腔镜阑尾切除术的患者随机平均分为两组,A组术前使用瑞芬太尼诱导插管,术中复合
目的:对药用植物五色梅进行系统的生药学研究。方法:采用性状鉴定、显微鉴定与理化鉴定等。结果与结论:对原植物性状、显微特征和理化方面进行观察和描述,所得结果可以为生药
目的 本文论述了在用"活血化瘀、调理脏腑"的方法治疗慢性咽炎、慢性扁桃体炎的同时,重视了脾阳虚的治疗,结果发现其伴随的疾病也得到了治愈或症状得到了明显的改善.认识到脾
通过对微合金钢焊缝金属中夹杂物的研究发现 :夹杂物数量在焊缝中心最多 ,而在熔合线附近最少 ;随着焊接热输入的增加 ,夹杂物平均尺寸增大。约有 6 0 %夹杂物的平均尺寸都小