【摘 要】
：
证明了函数类CFRF及其真子类CFPRF分别就是上下文无关语言(CFL)上的偏递归函数和原始递归函数. 讨论了它们与其他论域上定义的递归函数的关系,指出自然数上的函数和字上函数
【机 构】
：
中国科学院软件研究所计算机科学开放研究实验室
论文部分内容阅读
证明了函数类CFRF及其真子类CFPRF分别就是上下文无关语言(CFL)上的偏递归函数和原始递归函数. 讨论了它们与其他论域上定义的递归函数的关系,指出自然数上的函数和字上函数都是CFL上的函数. 给出了若干常用的字上原始递归函数,包括逻辑连接词和条件式,还给出构造原始递归函数用的强有力算子:受囿极大和受囿极小算子. 构造了两个非平凡的有重要用途的算法. 即任意CFL的特征函数,以及CFL句子的语法分解函数. 基于它们,叙述了扩展和限制函数论域的方法.
其他文献
对理想气体在有摩擦有传热时的非定常一维流动给出了一些代数显式解析解,其中包括1族带行波的解、3族带驻波的解及1个带驻波的解. 前4族解中均含有任意函数,所以实际上包括了
报道了一种新的光声层析成像技术--光声傅里叶变换共焦扫描成像技术.并用该技术获得了强散射物质(生物组织)的层析图像,纵向分辨能力小于0.1mm,横向分辨率小于4mm.
分析超声波在油田大型沉积罐中传播媒质的传播特性,研究超声波声速与传播媒质的粘滞性、温度等参数关系,并且利用超声波测距的原理,研制了一套超声泥水界面监测系统。此系统
把船体甲板或船底板结构视为是一系列加筋板单元的组合,然后利用复合材料梁柱理论计算船体加筋板单元构件的极限承载能力,最后用Smith法计算复合材料船体的极限承载能力.由于
通过对继电保护装置和开关动作时间的统计分析,探讨将系统稳定计算中500kV故障清除时间由0.1 s减少到0.09 s或0.08 s的可能性,并通过分析计算和仿真试验,研究减少故障清除时
在分析基于Web的分布式协同制造系统的安全需求的基础上,该文提出了一种完整的采用“SSLv3加数字签名”的解决方案,利用该方法可从根本上保证制造系统信息传输的安全性和事后
纳米碳化硅多晶膜构成的无序结构的拉曼受激散射和似激光散射是这种材料的一个新现象。本文讨论了在碳化硅纳米薄膜中出现的拉曼受激散射和随机激光现象 ,提出拉曼受激散射阈
胸腺肽注射液的主要成分为胸腺α1及其小分子多肽,其药理作用主要有:①免疫调节作用,具有调节和增强人体细胞免疫功能的作用。调节特异性T细胞功能,促进T淋巴细胞成熟。②神
首次以浓硝酸为氧化剂、以甲酸为插入剂,制备了无硫可膨胀石墨.其最佳反条件是:石墨,硝酸,甲酸的质量比为1∶1∶0.8,反应温度为30℃,反应时间为 40 min.
总结100例妇科手术后预防深静脉血栓的护理经验.术前对患者进行风险评分,根据评分结果进行有针对性的健康宣教及行为指导,取得患者的支持与配合,使患者达到能复述深静脉血栓