凯斯,约翰;卡尔·史密斯 机器归纳推理识别标准的比较。 (英语) Zbl 0524.03025号 西奥。计算。科学。 25, 193-220 (1983). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于2评论引用于144文件 MSC公司: 03日第10天 图灵机及其相关概念 2015年3月1日 计算复杂性(包括隐式计算复杂性) 03D20日 递归函数和关系、子递归层次结构 关键词:识别;归纳推理;程序中的异常;权衡结果;固有的相对计算复杂性;科学哲学;递归函数理论 PDF格式BibTeX公司 XML格式引用 \textit{J.Case}和\textit{C.Smith},Theor。计算。科学。25193-220(1983年;Zbl 0524.03025) 全文: 内政部 参考文献: [2] Barzdin,J.M.,《自动机和函数的预测》,(Freiman,C.P.,《信息处理》,第71卷,第1卷(1972年),荷兰北部:阿姆斯特丹北部),81-84·Zbl 0255.94031号 [3] Barzdin,J.M.,关于函数极限综合的两个定理,Latv。戈斯。大学。扎普。,210、82-88(1974),(俄语) [4] 巴兹丁,J.M。;Freivald,R.V.,《关于一般递归函数的预测》,苏联数学。道克。,13, 1224-1228 (1972) ·兹比尔0267.02029 [5] 巴兹丁,J.M。;Freivald,R.V.,递归可枚举函数类的预测和极限综合,(Barzdin,J.M.,算法和程序理论,第1卷(1974),拉脱维亚州立大学:拉脱维亚国立大学里加),112-128,(俄语) [6] 巴兹丁,J.M。;Podnieks,K.M.,《归纳推理理论》(Proc.Mathematical Foundations of Computer Science(1973),High Tatras:High Tatras Czechoslovakia),9-15,(俄语) [7] 布鲁姆。;Blum,M.,《朝向归纳推理的数学理论,信息与控制》,第28期,第125-155页(1975年)·Zbl 0375.02028号 [8] Blum,M.,递归函数复杂性的机器相关理论,J.ACM,14,322-336(1967)·Zbl 0155.01503号 [9] Blum,M.,《关于机器的尺寸,信息和控制》,11,257-265(1967)·Zbl 0165.02102号 [10] 布雷纳德,W.S。;Landweber,L.H.,《计算理论》(1974),威利:威利纽约 [11] Case,J.,自动机生成的周期性,数学。系统理论,8,15-32(1974)·Zbl 0295.02019号 [12] 凯斯·J。;Lynes,C.,机器归纳推理和语言识别(初步报告)(程序。第九届自动化、语言和编程学术讨论会1982年7月,丹麦奥胡斯。程序。第九届自动化、语言和编程学术讨论会,丹麦奥胡斯,1982年7月,计算机科学讲稿,140(1982),施普林格:施普林格柏林),107-115 [14] 凯斯·J。;Smith,C.,机械化归纳推理的异常层次,Proc。第十届计算理论研讨会,314-319(1978),加利福尼亚州圣地亚哥·Zbl 1283.03033号 [15] Chen,K.,机器归纳推理中的权衡,博士论文(1981),纽约州立大学计算机科学系:纽约州立大学布法罗分校计算机科学系 [16] Chen,K.,《几乎最小规模程序归纳推理中的权衡》,《信息与控制》(1981年5月),发表在普渡大学计算机科学递归理论专题研讨会论文专刊上 [18] Friedberg,R.M.,递归枚举的三个定理,J.符号逻辑,23,309-316(1958)·Zbl 0088.01601 [19] Feldman,J.,《关于语法推理和复杂性的一些可判定性结果》,《信息与控制》,第20期,第244-262页(1972年)·Zbl 0242.68053号 [20] Freivald,R.V.,极小哥德尔数及其在极限中的识别,(计算机科学讲义,32(1975),施普林格:施普林格柏林),219-225·Zbl 0329.02016 [21] Gold,E.M.,《限额内的语言识别》,《信息与控制》,10447-474(1967)·Zbl 0259.68032号 [22] Kinber,E.,《归纳推理理论》,(《计算机科学讲义》,第56期(1977年),施普林格出版社:施普林格柏林出版社),435-440 [23] Knuth,D.,《计算机编程的艺术》,第1卷(1968年),Addison-Wesley:马萨诸塞州Addison-Whesley Reading·兹比尔0191.17903 [24] Klette,R。;Wiehagen,R.,《GDR数学家对归纳推理理论的研究——一项调查》,《信息科学》。,22, 149-169 (1980) ·兹比尔0459.03021 [25] Laudan,L.,《进展及其问题》(1977),加州大学出版社:加州大学伯克利分校出版社 [26] 麦克里特,E。;Meyer,A.,由计算边界定义的可计算函数类,Proc。ACM计算理论研讨会,79-88(1969)·Zbl 1283.03074号 [27] Minicoszi,E.,归纳推理中强同一性的一些自然性质,Theoret。计算。科学。,2, 345-360 (1976) ·Zbl 0373.68051号 [28] 马奇蒂,M。;Young,P.,《算法通论导论》(1978),北荷兰人:北荷兰纽约·兹伯利0376.68027 [29] 牛顿,I.(Cajori,F.,《自然哲学的数学原理》(1946),加州大学出版社:加州大学伯克利分校出版社),A.Motte译,1972年·Zbl 0127.00501号 [30] Podnieks,K.M.,《比较函数预测的各种概念》,第一部分,拉丁美洲。戈斯。Univ.Ućen大学。扎普。,210、68-81(1974),(俄语)·Zbl 0332.02045号 [31] 波普尔,K.,《科学发现的逻辑》(1968年),哈珀火炬图书:哈珀火把图书纽约 [32] Putnam,H.,《概率与构象》,《美国之音》,科学哲学论坛。美国之音,科学哲学、数学、物质和方法论坛,第1卷(1975年),美国信息局,伦敦 [33] 罗杰斯,H.,哥德尔部分递归函数数,符号逻辑,23,331-341(1958)·Zbl 0088.01602号 [34] Rogers,H.,递归函数和有效计算性理论(1967),McGraw-Hill:McGraw-Hill纽约·Zbl 0183.01401号 [35] 肖恩菲尔德(Shoenfield,J.),《不可解性程度》(Degrees of Unsolvability)(1971),北荷兰:北荷兰阿姆斯特丹·Zbl 0245.02037号 [37] 韦伯,J.(机制、心智主义和元数学(1980),D.Reidel:D.Reidel Boston)·Zbl 0454.03001号 [38] Wiehagen,R.,归纳推理理论中的表征问题,(计算机科学讲稿,62(1978),施普林格:施普林格-柏林),494-508 [39] Wiehagen,R。;Liepe,W.,递归函数可识别类的特征性质,电子。信息可用。Kyberinet公司。,12,421-438(1974),(德语) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。