×

找到413个文档(结果1-100)

面向句法分析和控制的元语言。 (英语。俄文原件) 兹比尔0321.68007

控制论 6,第2号,67-71(1972); 译自Kibernetika,基辅,1970年,第2期,50-53页(1970年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

递归可枚举集的解析复杂性是其普适性的标准。 (英语。俄文原件) Zbl 0299.02045号

苏联。数学。,多克。 11224-1228年11月(1970年); Dokl翻译。阿卡德。Nauk SSSR 194,500-503(1970)。
PDF格式BibTeX公司 XML格式引用

下推存储自动机和复杂度为3的范畴文法类中复杂性函数的最小化。 (英语。俄文原件) Zbl 0264.68018号

代数逻辑 7(1968), 144-152 (1970); 《代数逻辑》第7卷第3期第23-37页(1968年)的译文。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 欧洲DML

两带图灵计算的初步解释。 (英语。俄文原件) Zbl 0245.02034号

控制论 6,No.2,43-50(1972); 译自Kibernetika,基辅,1970年,第2期,29-35页(1970年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动机和人工智能理论中的一些问题。 (英语。俄文原件) Zbl 0242.68056号

控制论 6,第2期,17-827(1972); 译自Kibernetika,基辅,1970年,第2期,3-13页(1970年)。
审核人:J.Hořejš
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于所有上下文无关语言类与确定性上下文无关语言的类之间的关系。 (英语。俄文原件) Zbl 0242.68045号

代数逻辑 8(1969), 22-33 (1970); 《代数逻辑》第8卷第1期第44-64页(1969年)的译文。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 欧洲DML

在数字计算机上构造计算过程的数学保证的问题。 (英语。俄文原件) 兹比尔0236.68021

控制论 6,第2期,135-144(1972); 译自Kibernetika,基辅1970年,第2期,第108-116页(1970年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前3名

主字段