鲍尔,弗里德里希·L。;格哈德·古斯 信息科技。Eine einführende u berscht。细纱2。(计算机科学.导论概述.第2部分)。第三版和修订版。 (德语) 兹比尔074368003 海德堡Taschenbücher。91:Sammlung Informatik。柏林等:Springer-Verlag。十六、 第345页,135插图,4页(1984年)。 审核人:R.Kemp(法兰克福/马里兰州) MSC公司:68-01 68问题65 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.L.Bauer}和\textit{G.Goos},Informatik。Eine einführende u berscht。细纱2。(计算机科学。导论。第2部分)。柏林等:Springer-Verlag(1984;Zbl 0743.68003)
J.C.西蒙。 侦察数据形成了部分算法。(通过算法进行模式识别)。 (法语) Zbl 0665.68065号 信息学教育与研究。巴黎等:马森。第251页(1984年)。 审核人:F.彼得雷斯库 MSC公司:68吨10 65年第68季度 62C10个 68瓦99 03D60年 2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式
亨利·劳弗(Henry B.Laufer)。 离散数学和应用现代代数。 (英语) Zbl 0655.00001号 波士顿:普林德尔、韦伯和施密特。六、 538页。;£15.95 (1984). 审核人:H.J.蒂尔斯马 MSC公司:00-01号 00A05号 03-01 68-01 94-01 05-01 06-01 PDF格式BibTeX公司 XML格式
Jürgensen,H。;蒂尔林,G。 幺半群的种类和\(\omega \)-语言类。 (英语) 兹伯利0654.20083 半群理论,Proc。Conf.,Greifswald/GDR 1984,62-67(1984)。MSC公司:20立方米 2007年7月20日 65年第68季度 PDF格式BibTeX公司 XML格式
Peeva,K.G。 一些有序结构上的线性方程组。 (英语) Zbl 0654.06022号 半群理论,Proc。Conf.,Greifswald/GDR 1984,101-105(1984)。MSC公司:99年6月 65年第68季度 2006年10月15日 06年05月 PDF格式BibTeX公司 XML格式
佩恩,古奥热 形式语言理论中的现代问题。(实际问题)。(罗马尼亚语)。 (英语) Zbl 0636.68094号 Bucurešti:编辑学。415页。;雷27.00(1984)。 审核人:H.卢钦 MSC公司:65年第68季度 68-02 PDF格式BibTeX公司 XML格式
销,J.E。 [Schützenberger,医学博士] 各种语言形式。穆罕默德·普·施滕贝格教授。 (法语) Zbl 0636.68093号 信息学教育与研究。巴黎等:马森。第160页(1984年)。 审核人:C.V.Craciun先生 MSC公司:65年第68季度 68-02 20立方米 2005年5月20日 70年第68季度 2007年7月20日 PDF格式BibTeX公司 XML格式
卡雷尔·库利克二世;Tero Harju公司 D0L系统的(ω)序列等价问题是可判定的。 (英语) Zbl 0632.68078号 J.助理计算。机器。 31, 282-298 (1984).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}和\textit{T.Harju},J.计算机助理。机器。31282--298(1984年;Zbl 0632.68078) 全文: 内政部
医学硕士斯皮瓦克。;Chernyj,D.E。 自动机叠加的诊断问题。 (俄语) Zbl 0632.68056号 特奥。波兰普列洛日。 7, 70-82 (1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Spivak}和\textit{D.E.Chernyj},Teor。波兰普列洛日。7、70-82(1984年;Zbl 0632.68056)
亨特,H.B.III 终止图灵机计算以及对应问题、语法和程序方案的复杂性和/或可判定性。 (英语) 兹比尔0632.68048 J.助理计算。机器。 31, 299-318 (1984).MSC公司:65年第68季度 2005年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.B.Hunt III},J.协会计算。机器。31299--318(1984年;Zbl 0632.68048) 全文: 内政部
米歇尔·帕里戈特 自动化、简历、表单。 (法语) Zbl 0631.03026号 最小Sémin。盖恩。逻辑1983/1984,出版。数学。巴黎第七大学27、19-41页(1984年)。MSC公司:05年3月 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式
克里斯蒂安·乔夫鲁特;卡雷尔·库利克二世 关于不可避免集的可扩性。 (英语) Zbl 0629.68080号 离散应用程序。数学。 9125-137(1984年).MSC公司:65年第68季度 20立方米 2005年5月20日 PDF格式BibTeX公司 XML格式引用 \textit{C.Choffrut}和\textit{K.Culik II},离散应用。数学。9125-137(1984年;Zbl 0629.68080) 全文: 内政部
西赫福特。;W.Kuich。 半拓扑半环和下推自动机。 (英语) Zbl 0627.68068号 数学。系统。理论 17279-291(1984年).MSC公司:65年第68季度 13J05号 PDF格式BibTeX公司 XML格式引用 \textit{W.Herfort}和\textit{W.Kuich},数学。系统。理论17,279--291(1984;Zbl 0627.68068) 全文: 内政部
达纳州安格鲁因;Douglas N.胡佛。 常规前缀关系。 (英语) Zbl 0627.68066号 数学。系统。理论 17, 167-191 (1984).MSC公司:65年第68季度 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.Angluin}和\textit{D.N.Hoover},数学。系统。理论17,167--191(1984;Zbl 0627.68066) 全文: 内政部
雅克·萨卡罗维奇;西田、大新;优一Kobuchi 用于替换的循环单词。 (英语) Zbl 0627.68065号 数学。系统。理论 17, 199-215 (1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Sakarovitch}等人,数学。系统。理论17,199--215(1984;Zbl 0627.68065) 全文: 内政部
罗纳德·V·布克。;艾伦·L·塞尔曼。 模预言条件约简类的特征。 (英语) Zbl 0627.68042号 数学。系统。理论 17, 263-277 (1984).MSC公司:65年第68季度 65年第68季度 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{R.V.Book}和\textit{A.L.Selman},数学。系统。理论17263-277(1984;Zbl 062768042) 全文: 内政部
布迪纳斯,B.L。 Petri网的瞬时性和自由语言的正则性。 (俄语) Zbl 0624.68051号 维奇尔。修女。 104, 75-86 (1984). 审核人:E.伊勒 MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{B.L.Budinas},Vychils。修女。104、75-86(1984年;Zbl 0624.68051)
肯塔基州兰加拉扬。;Shyamasundar,R.K。 并行重写系统和Petri网。 (英语) Zbl 0622.68051号 J.库姆。信息系统。科学。 9, 133-150 (1984).MSC公司:68问题85 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Rangarajan}和\textit{R.K.Shyamasundar},J.Comb。信息系统。科学。9、133--150(1984年;Zbl 0622.68051)
A.O.斯利森科。 设计有效算法时的语言考虑。 (英语) Zbl 0616.68044号 程序。国际会议。数学。,Warszawa 1983,第1卷,347-357(1984)。 审核人:博士学位授予 MSC公司:65年第68季度 65年第68季度 68-02 68问题65 68兰特 PDF格式BibTeX公司 XML格式
卡雷尔·贝内什 用Dirac函数激励的(n=m)型传递函数模拟动态系统。 (英语) Zbl 0607.34045号 帕拉基大学学报。奥洛穆克。,工厂。Rerum国家。 79,数学。23, 153-159 (1984). 审核人:L.Reiziņš MSC公司:37倍X 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Beneš},帕拉基大学学报。奥洛穆克。,工厂。Rerum Nat.,数学。23、153--159(1984年;Zbl 0607.34045) 全文: 欧洲DML
Balcázar,J.L。;J·迪亚兹。;J·加巴罗。 测量和计算。 (加泰罗尼亚语) Zbl 0606.68045号 数理逻辑,程序。加泰罗尼亚第三届议会。,巴塞罗那/西班牙1984,63-73(1984)。MSC公司:2005年第68季度 65年第68季度 65年第68季度 94立方厘米10 PDF格式BibTeX公司 XML格式
克劳迪奥·莫拉加 一种在时变环境中对决策规则进行归纳推理的方法。 (西班牙语。英语、德语摘要) Zbl 0605.68085号 数理逻辑,程序。加泰罗尼亚第三届国会。,巴塞罗那/西班牙1984,33-41(1984)。MSC公司:68T05型 03B50号 65年第68季度 PDF格式BibTeX公司 XML格式
代表,Thomas W。 生成基于语言的环境。 (英语) 兹比尔0604.68005 ACM博士论文奖,1983年。马萨诸塞州剑桥-伦敦:麻省理工学院出版社。十二、 138 p.37.10美元(1984年)。MSC公司:68号01 60年第68季度 65年第68季度 68瓦99 PDF格式BibTeX公司 XML格式
H.C.M.克莱因。;彭顿,M。;G.罗森伯格。;萨洛马,K。 与方向无关的上下文敏感文法。 (英语) Zbl 0599.68055号 Inf.控制 63, 113-117 (1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.C.M.Kleijn}等人,Inf.Control 63,113--117(1984;Zbl 0599.68055) 全文: 内政部
马尔科夫,A.A。;新墨西哥州纳戈尔内。 算法理论。(Теория алгоритмов.) (俄语) Zbl 0599.03040号 Matematicheskaya Logika i Osnovaniya Matematiki公司。莫斯科:Izdatel'stvo“Nauka”。Glavnaya Redaktsiya Fiziko-Matematicheskoĭ文献,432页(1984年)。 审核人:詹姆斯·琼斯(M.R.86k:03027) MSC公司:03年3月 05年3月 68瓦99 03-02 68-02 03楼50 03-01 68-01年 03-03 2003年8月 PDF格式BibTeX公司 XML格式
托梅拉,R。 动作生成。 (俄语) Zbl 0599.03005号 模态逻辑和内涵逻辑及其在科学方法论问题上的应用,收录。工艺。,莫斯科1984,341-359(1984)。MSC公司:03A05号 65年第68季度 PDF格式BibTeX公司 XML格式
内村庆介 与一些CF文法相关的无限矩阵和代数级数的截断。 (英语) Zbl 0598.68054号 西奥。计算。科学。 31, 227-261 (1984).MSC公司:65年第68季度 15甲18 PDF格式BibTeX公司 XML格式引用 \textit{K.Uchimura},Theor(西奥)。计算。科学。31227--261(1984;Zbl 0598.68054) 全文: 内政部
尤尔根·达索 关于俄语平行上下文无关语法的一些扩展。 (英语) Zbl 0598.68052号 《网络学报》。 6, 355-360 (1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Dassow},《网络学报》。6、355--360(1984年;Zbl 0598.68052)
新泽西州加巴索夫。;阿卜拉耶夫,F.M。 关于无穷自动机广义约简定理的注记。 (俄语) Zbl 0598.68047号 维罗亚特。Metody Kibern。 20, 40-48 (1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Z.Gabbasov}和\textit{F.M.Ablaev},Veroyatn。梅托迪·基伯恩。20、40-48(1984年;Zbl 0598.68047) 全文: 欧洲DML
克里希纳穆尔西,E.V。 计算机科学导论。重印。 (英语) Zbl 0598.68004号 《新德里-马德拉斯:附属东西方出版社私人有限公司》第十二卷,211页,26.00卢比(1984年)。 审核人:沃尔夫勒 MSC公司:68-01 68新元 68季度xx 65年第68季度 PDF格式BibTeX公司 XML格式
E.J.法卡斯。;M.E.萨博。 并行程序的星形有限关系语义。 (英语) Zbl 0598.03050号 计算与证明理论。逻辑学院,亚琛1983年,第二部分,法律。数学笔记。美国专利1104129-142(1984)。MSC公司:2015年上半年03日 60年第68季度 03H10年上半年 65年第68季度 05年3月 PDF格式BibTeX公司 XML格式
罗丁,迪特 与自动机模块分解理论相关的一些逻辑问题。 (英语) Zbl 0598.03029号 计算与证明理论。逻辑学院,亚琛1983年,第二部分,法律。数学笔记。1104, 365-388 (1984).MSC公司:05年3月 70年第68季度 PDF格式BibTeX公司 XML格式
雷纳·帕奇曼 平衡的无上下文语言和索引语言。 (英语) Zbl 0597.68059号 Elektron公司。通知-藜芦。凯伯内提克 20, 543-556 (1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Parchmann},Elektron公司。Informationsverarbeitung Kybernetik基伯内蒂克信息20,543--556(1984;Zbl 0597.68059)
维达尔,P。;J.C.吉尔。;Wȩgrzyn,S。 《进化系统的特性》是一本关于mot createur boucle的书。(关于由带有循环的生成词发起的进化系统的属性)。 (法语) Zbl 0596.93001号 波德斯特维·斯特罗瓦尼亚 14, 29-42 (1984). 审核人:J.贾龙 MSC公司:93A10号 65年第68季度 68问题80 93B17号机组 PDF格式BibTeX公司 XML格式引用 \textit{P.Vidal}等人,Podstawy Sterowania 14,29-42(1984;Zbl 0596.93001)
马骏 关于通用语言的一些结果。 (中文。英文摘要) Zbl 0596.68059号 山东大学自然科学学报。预计起飞时间。 1984年,第4期,19-27(1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Ma},J.山东大学,自然科学。1984年版,第4、19--27号(1984年;Zbl 0596.68059)
陈立兴;马世华 无上下文无限保护函数。 (中文。英文摘要) Zbl 0596.68058号 山东大学自然科学学报。预计起飞时间。 1984年,第1期,18-25(1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Chen}和\textit{S.Ma},山东大学自然科学学院。1984年版,第1期,第18--25页(1984年;Zbl 0596.68058)
瑞兹万·安多尼 用于二维切割问题的生成图像处理设备。 (英语) Zbl 0595.68078号 概率论,Proc。第七届Conf.,Brašov/Rom.1982,599-606(1984)。MSC公司:68吨10 65年第68季度 PDF格式BibTeX公司 XML格式
卡塔林·帕斯佐雷·瓦尔加 在处理某些类型的形式语言时使用有限自动机。 (英语) Zbl 0595.68074号 数学系。,卡尔·马克思经济大学。,布达普。1984-2, 168-179 (1984).MSC公司:65年第68季度 68问题65 68吨15 PDF格式BibTeX公司 XML格式
沃伊切赫·莱特 快速识别下推自动机和无上下文语言。 (英语) Zbl 0595.68073号 计算机科学数学基础。第十一交响曲。,普拉哈/捷克。1984年,Lect。注释计算。科学。176, 507-515 (1984).MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式
乌苏拉州Wybraniec-Skardowska 关于句法范畴语言的公理系统。 (英语) Zbl 0595.03023号 牛市。第节。逻辑,Pol。阿卡德。科学。 13241-251(1984年).MSC公司:03B99号 03B65号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Wybraniec-Skardowska},公牛。第节。逻辑,Pol。阿卡德。科学。13、241--251(1984;Zbl 0595.03023)
伊利诺伊·R·纳西罗夫。 状态数为可数的图灵机器和自动机中语言的可表示性。 (俄语) Zbl 0594.68067号 维罗亚特。梅托迪·基伯恩。 187-94年(1984年).MSC公司:65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Il.R.Nasyrov},维罗亚特。梅托迪·基伯恩。20、87——94(1984年;Zbl 0594.68067) 全文: 欧洲DML
阿卜拉耶夫,F.M。 可数自动机中可表示语言的正则性的度量测试。 (俄语) Zbl 0594.68066号 维罗亚特。Metody Kibern。 20, 3-11 (1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Ablaev},Veroyatn。梅托迪·基伯恩。20、3--11(1984年;Zbl 0594.68066) 全文: 欧洲DML
谢斯塔科夫,A.A。 部分广义有限自动机合成问题中的块矩阵代数。 (俄语) Zbl 0594.68053号 维奇尔。泰克。沃普。基伯恩。 20, 69-86 (1984). 审核人:M.Chytil先生 MSC公司:65年第68季度 70年第68季度 15B57号 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Shestakov},维基斯尔。泰克。沃普。基伯恩。20、69——86(1984;Zbl 0594.68053)
I.R.纳西罗夫。 异步概率自动机类中受控随机码生成器的综合。 (俄语) Zbl 0594.68051号 维罗亚特。梅托迪·基伯恩。 20, 94-105 (1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{I.R.Nasyrov},Veroyatn。梅托迪·基伯恩。20,94--105(1984;Zbl 0594.68051) 全文: 欧洲DML
尤尔根·达索;佩恩,古奥热 通过规范重写获得的纯语言编码。 (英语) Zbl 0593.68057号 已找到。控制工程师。 9, 3-14 (1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Dassow}和\textit{G.Păun},找到了。控制工程9,3-4(1984;Zbl 0593.68057)
塔勒姆,桑达·莫妮卡 Ackermann-Péter函数具有原始递归图和范围。 (英语) Zbl 0593.68056号 已找到。控制工程师。 9, 177-180 (1984).MSC公司:65年第68季度 03D20日 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.-M.TTrM},已找到。控制工程9,177--180(1984;Zbl 0593.68056)
G·奥尔曼。 形式语言的派生函数。图灵特征。一、。 (英语) Zbl 0592.68069号 灯泡。布拉索夫大学。C类 26, 25-28 (1984).MSC公司:65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \发短信{G.Orman},布尔。Brașov大学,Ser。C 26、25——28(1984年;Zbl 0592.68069)
约阿希姆·马赫纳 模糊半自动机。 (德语) Zbl 0592.68050号 几何与几何,2。科洛克。卡尔·马尔克斯-斯塔特/DDR 1983年,沃特尔。《泰尔一世》第1卷第2页,第117-124页(1984年)。MSC公司:70年第68季度 65年第68季度 08年60月 PDF格式BibTeX公司 XML格式
西莫诺夫,V.M。 确定性无上下文语言理论中的自动机模型。 (俄语) Zbl 0591.68078号 特奥。Slozhnykh姐妹。Metody模型。1984年,26-37(1984)。 审核人:A.P.斯托尔布什金 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式
达米安·尼文斯基 无上下文语言的定点特征。 (英语) Zbl 0591.68075号 Inf.控制 61, 247-276 (1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Niwinn ski},信息控制61,247--276(1984;Zbl 0591.68075) 全文: 内政部
M.G.古达。;曼宁,E.G。;Yu,Y.T.于。 关于两个有限状态机之间通信的进展。 (英语) Zbl 0591.68057号 Inf.控制 63, 200-216 (1984).MSC公司:65年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Gouda}等人,Inf.Control 63,200--216(1984;Zbl 0591.68057) 全文: 内政部
伊扎克,耶尔;阿米拉姆Yehudai 一种中间机器技术,用于确定DPDA和线性DPDA之间的等价性。 (英语) Zbl 0591.68052号 Inf.控制 62, 26-35 (1984).MSC公司:2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Itzaik}和\textit{A.Yehudai},Inf.Control 62,26-35(1984;Zbl 0591.68052) 全文: 内政部
理查德·雷德纳(Richard E.Ladner)。;Stockmeyer,Larry J。;理查德·利普顿。 交替有界辅助下推自动机。 (英语) Zbl 0589.68058号 Inf.控制 第62页,第93-108页(1984年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Ladner}等人,《信息控制》62,93--108(1984;Zbl 0589.68058) 全文: 内政部
安德烈·埃伦菲赫特;格列泽戈兹·罗森贝格 格雷巴赫范式的一个简单证明。 (英语) Zbl 0589.68054号 Inf.控制 63, 190-199 (1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Ehrenfeucht}和\textit{G.Rozenberg},Inf.Control 63,190–199(1984;Zbl 0589.68054) 全文: 内政部
黄玉倩 树语言、树自动机和树变换器。 (中文) Zbl 0588.68038号 江西十方医学院 1987年,第1期,3-20(1984). 审核人:陶仁济 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Huang},江西十堰大学学报1987,第1期,第3--20期(1984;Zbl 0588.68038)
法希尼,E。;那不勒斯,M。 基本递归字序列函数的层次结构:比较和决策问题。 (英语) Zbl 0588.03025号 西奥。计算。科学。 30, 185-227 (1984).MSC公司:03D20日 2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Fachini}和\textit{M.Napoli},Theor。计算。科学。30185-227(1984年;Zbl 0588.03025) 全文: 内政部
瓦利多夫,F.I。 关于语言的有限自动机可分性。 (英语。俄文原件) Zbl 0587.68075号 苏联。数学。 28,第3期,22-31页(1984年); Izv的翻译。维什。乌切布。扎韦德。,材料1984,第3号(262),18-24(1984)。 审核人:A.Pirická-Kelemenová MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.I.Validov},苏联。数学。28,第3号,第22-31条(1984;Zbl 0587.68075);Izv的翻译。维什。乌切布。扎韦德。,材料1984,第3号(262),18-24(1984)
头部,汤姆 DOL语言的坚持。 (英语) 兹伯利0587.68069 西奥。计算。科学。 31, 139-149 (1984). 审核人:A.Pirická-Kelemenová MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Head},Theor。计算。科学。31139--149(1984年;Zbl 0587.68069) 全文: 内政部
安德烈·奥利基 控制机器代数及其在控制自动机和Glushkov系统中的应用。 (英语) Zbl 0587.68053号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 7, 1-25 (1984). 审核人:A.Pirická-Kelemenová MSC公司:70年第68季度 2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Orlicki},Ann.社会数学。政策。,序列号。四、 芬丹。Inf.7,1-25(1984;Zbl 0587.68053)
斯蒂芬·沃尔夫拉姆 细胞自动机的计算理论。 (英语) Zbl 0587.68050号 Commun公司。数学。物理。 96, 15-57 (1984).MSC公司:68问题80 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Wolfram},Commun公司。数学。物理。96、15--57(1984年;Zbl 0587.68050) 全文: 内政部
安妮塔·瓦西列夫斯卡 Suszko逻辑和一对一Gentzen类型形式化的DFC算法。 (英语) Zbl 0587.03006号 螺柱日志。 43, 395-404 (1984).MSC公司:03B25号 05年3月 60年第68季度 68瓦99 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Wasilewska},螺柱日志。43、395--404(1984年;Zbl 0587.03006) 全文: 内政部
吉恩·查尔斯(Jean-Charles Gille);斯特凡·Wȩgrzyn;皮埃尔·维达尔 进化系统的模式和结构。 (法语) Zbl 0586.93023号 波德斯特维·斯特罗瓦尼亚 14, 287-300 (1984). 审核人:S.Merrill公司 MSC公司:93B99号 65年第68季度 92F05型 93A10号 PDF格式BibTeX公司 XML格式引用 \textit{J.-C.Gille}等人,Podstawy Sterowania 14,287--300(1984;Zbl 0586.93023)
H.J.Shyr。;曾丁昌 稠密语言的一些性质。 (英语) Zbl 0586.68062号 苏州J.数学。 10, 127-131 (1984). 审核人:W.尼科 MSC公司:65年第68季度 2005年5月20日 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Shyr}和\textit{D.-C.Tseng},苏州数学。10127--131(1984年;Zbl 0586.68062)
井上,Katsushi;伊索高南;中村,亚基拉 确定性二维在线细分接收器无法识别连接的图片。 (英语) Zbl 0585.68077号 计算。视觉图形图像处理。 26, 126-129 (1984).MSC公司:68吨10 65年第68季度 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{K.Inoue}等人,计算。视觉。图表。图像处理。26、126--129(1984年;Zbl 0585.68077) 全文: 内政部
贾尼斯·西鲁利斯 量子逻辑主题的变化。 (俄语) Zbl 0585.03035号 代数和离散数学,收藏。科学。Works,里加1984,146-158(1984)。 审核人:尤尼斯·Cérulis MSC公司:03G12号机组 65年第68季度 81页第10页 PDF格式BibTeX公司 XML格式
阿尔多·德卢卡;安东尼奥·雷斯蒂沃 整数的表示和语言理论。 (英语) Zbl 0584.68083号 计算机科学数学基础。第十一交响曲。,普拉哈/捷克。1984年,Lect。注释计算。科学。176, 407-415 (1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式
M.Latteux。;蒂尔林,G。 代码和交换星形语言。 (英语) Zbl 0584.68081号 苏州J.数学。 10, 61-71 (1984).MSC公司:65年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Latteux}和\textit{G.Thierrin},Soochow J.Math。10、61-71(1984年;Zbl 0584.68081)
英国沃尔夫勒姆。 死亡归因于拉马提克der rekursiven Funktitonen。 (德语) 兹伯利0583.68042 德累斯顿理工大学,Weiterbildungszentrum数学。Kybernetik Rechentech公司。信息概述。75/84, 101-111 (1984).MSC公司:68N20型 65年第68季度 03D20日 PDF格式BibTeX公司 XML格式
郭玉奇;王水鼎;李丽安 可辨认的语系。 (中文) Zbl 0583.68040号 数学学报。罪。 27, 760-765 (1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Guo}等人,《数学学报》。罪。27760--765(1984年;Zbl 0583.68040)
瓦尔特利·尼米 无上下文和EOL形式的形式等价性的不可判定性。 (英语) Zbl 0583.68038号 西奥。计算。科学。 32, 261-277 (1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{V.尼米},Theor。计算。科学。32261--277(1984年;Zbl 0583.68038) 全文: 内政部
亨利·克拉波 选择器:形式语言、半模格、分支和壳过程的理论。 (英语) Zbl 0583.68037号 高级数学。 54, 233-277 (1984).MSC公司:65年第68季度 03G10年 06立方厘米 06年05月 06年06月06日 68瓦99 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{H.Crapo},高级数学。54、233--277(1984年;Zbl 0583.68037) 全文: 内政部
斯科贝列夫,V.G。 关于递归自动机的枚举。 (俄语) Zbl 0583.68030号 Kibernetika岛 1984年,第5期,第120-122页(1984年). 审核人:陶仁济 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.G.Skobelev},Kibernetika 1984,第5期,第120-122页(1984;Zbl 0583.68030)
霍姆科维奇,J。 反转和零测试有界多计数器的层次结构。 (英语) Zbl 0582.68049号 计算机科学数学基础。第十一交响曲。,普拉哈/捷克。1984年,Lect。注释计算。科学。176, 312-321 (1984). 审核人:W.R.Nico先生 MSC公司:65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式
让·伯斯特尔 关于平方词的一些最新结果。 (英语) Zbl 0582.68042号 计算机科学的理论方面。,1984年,巴黎。注释计算。科学。166, 14-25 (1984). 审核人:W.R.Nico先生 MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式
托彭查罗夫。;罗萨诺夫。 正式语言中的错误更正策略。 (英语) Zbl 0582.68041号 德累斯顿理工大学,Weiterbildungszentrum数学。Kybernetik Rechentech公司。信息概述。67/84, 54-65 (1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式
A.I.Auzin’sh。 关于构建一个完整的一类程序样本系统。 (英语。俄文原件) Zbl 0582.68004号 苏联。物理。,多克。 29, 709-711 (1984); Dokl翻译。阿卡德。瑙克SSSR 278564-568(1984)。MSC公司:68号01 65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.I.Auzin'sh},Sov(苏联)。物理。,多克。29709-711(1984年;Zbl 0582.68004);Dokl翻译。阿卡德。Nauk SSSR诺克SSSR 278,564--568(1984)
马塞尔·施滕贝格(Marcel Schützenberger) 信息与数学。(计算机科学和数学)。 (法语) Zbl 0582.68001号 C.R.学院。科学。,巴黎,Sér。盖恩。,生活科学。 1, 175-179 (1984). 审核人:B.L.麦卡利斯特 MSC公司:68-01 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Schützenberger},C.R.学院。科学。,巴黎,Sér。盖恩。,《科学观点》。1175--179(1984年;Zbl 0582.68001)
马尔库斯,蒂博尔 在高速LL(1)解析器上。 (英语) Zbl 0581.68060号 数学系。,卡尔·马克思经济大学。,布达普。1984-2, 147-156 (1984).MSC公司:68N20型 65年第68季度 PDF格式BibTeX公司 XML格式
周广福 广义Schreier系统对语言的描述以及与自动机的关系。 (中文) Zbl 0581.68059号 高级数学。,北京 13,第3期,225-229(1984).MSC公司:65年第68季度 20立方米 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Zhou},高级数学。,北京13,第3号,225--229(1984;Zbl 0581.68059)
诺斯科夫,V.N。 通过通用测试对有限自动机的输入进行故障诊断。 (俄语) Zbl 0578.94024号 Metody Diskretn公司。分析。 41, 72-80 (1984).MSC公司:94立方厘米10 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.N.Noskov},Metody Diskretn。分析。41、72——80(1984年;Zbl 0578.94024)
维托尔德·贾卡;伊雷内乌斯·西罗基 定义在组上的系统的分解问题。 (英语) Zbl 0578.93011号 赛博。系统。 15, 333-349 (1984).MSC公司:93B25型 70年第68季度 93亿B50 20立方 65年第68季度 93A99型 PDF格式BibTeX公司 XML格式引用 \textit{W.Jacak}和\textit{I.Sierocki},Cybern。系统。15、333--349(1984年;Zbl 0578.93011) 全文: 内政部
艾西克,佐尔坦 关于程序内核语言的评论。 (匈牙利语。英文摘要) Zbl 0578.68065号 Alkalmazott Mat.Lapok公司 10, 61-63 (1984).MSC公司:65年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ésik},Alkalmazott Mat.Lapok 10,61-63(1984年;Zbl 0578.68065)
安东尼奥·雷斯蒂沃;克里斯托夫·鲁特瑙尔 有理幂级数支持的语言的消去性。 (英语) Zbl 0578.68061号 J.计算。系统。科学。 29, 153-159 (1984).MSC公司:65年第68季度 16周60 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{A.Restivo}和\textit{C.Reutenauer},J.Compute。系统。科学。29153--159(1984年;Zbl 0578.68061) 全文: 内政部
安东尼奥·雷斯蒂沃;克里斯托夫·鲁特瑙尔 正式语言中的取消、泵送和置换。 (英语) 兹比尔0578.68060 自动化、语言和编程,安特卫普/贝尔格第11大学。1984年,Lect。注释计算。科学。172, 414-422 (1984).MSC公司:65年第68季度 70年第68季度 20立方米 PDF格式BibTeX公司 XML格式
拉提波夫,R.Kh。 线性顺序机器的可靠环形测试。 (英语。俄文原件) Zbl 0577.94016号 自动。控制计算。科学。 18,第4期,84-86(1984); Avtom翻译。维奇尔。泰克。1984年,第4期,89-91(1984)。MSC公司:94立方厘米10 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Kh.Latypov},自动。控制计算。科学。18,第4号,84--86(1984;Zbl 0577.94016);Avtom翻译。维奇尔。泰克。1984年,第4期,89--91(1984)
多米尼克·佩林 关于自动机和无限单词的最新结果。 (英语) Zbl 0577.68076号 计算机科学数学基础。第十一交响曲。,普拉哈/捷克。1984年,Lect。注释计算。科学。176, 134-148 (1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式
Alica Kelemenová 关于语法复杂性的三个公开问题。 (英语) Zbl 0577.68072号 数学系。,卡尔·马克思经济大学。,布达普。1984-2, 124-128 (1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式
洛巴诺夫,L.P。;A.I.普列特涅夫。;S.D.德尔曼。 随机环境中多输出随机自动机行为概率特征的分析和数值计算方法。 (英语。俄文原件) Zbl 0577.68064号 控制论 20, 891-900 (1984); 译自Kibernetika 1984,第6期,99-106(1984)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.P.Lobanov}等人,《控制论》20,891--900(1984;Zbl 0577.68064);译自Kibernetika 1984,No.6,99-106(1984) 全文: 内政部
安东尼·马祖基维奇 轨迹、历史、图:过程幺半群的实例。 (英语) 兹比尔0577.68061 计算机科学数学基础。第十一交响曲。,普拉哈/捷克。1984年,Lect。注释计算。科学。176, 115-133 (1984).MSC公司:99年第68季度 68问题85 20立方米 65年第68季度 第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式
G.皮里略。 关于范德瓦尔登的一个定理。 (意大利语) Zbl 0577.20051 伦德。塞姆·马特·布雷西亚 7, 553-557 (1984). 审核人:B.泽林卡 MSC公司:2005年5月20日 20立方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Pirillo},伦德。塞明。Mat.Brescia 7,553--557(1984;Zbl 0577.20051)
德维亚特科夫,V.V。;V.N.Shinkin。 用结构化程序实现有限自动机算法。二、。 (英语。俄文原件) Zbl 0576.68048号 自动。远程控制 451488-1497年(1984年); Avtom翻译。Telemekh公司。1984年,第11期,第120-129页(1984年)。MSC公司:65年第68季度 68瓦99 68N99型 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Devyatkov}和\textit{V.N.Shinkin},汽车。遥控器45,1488--1497(1984;Zbl 0576.68048);Avtom翻译。Telemekh公司。1984年,第11期,第120-129期(1984年)
H.J.Shyr。;蔡永生。 关于允许环结构的句法幺半群。 (英语) Zbl 0576.20045号 关于半群X的注记,Dep.Math。,卡尔·马克思经济大学。,布达佩斯,1984-4年,19-42年(1984年)。 审核人:玛丽·德姆洛娃(普拉哈) MSC公司:20立方米 65年第68季度 2016年60月 PDF格式BibTeX公司 XML格式
胡安·卡洛斯·马丁内斯 可及集与(t_3)空间的(L_{\omega_1\omega})_t等价。 (英语) Zbl 0576.03024号 J.塞姆。日志。 49, 961-967 (1984). 审核人:R.Gurevč MSC公司:03C99号 03立方厘米75 03C80号 03C35号 03C15号 54D10号 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Martínez},J.Symb。日志。49、961--967(1984年;Zbl 0576.03024) 全文: 内政部
Darondeau博士。;科特,L。 (ω)-有理表达式的形式证明系统。 (英语) Zbl 0575.68082号 信息处理。莱特。 19, 173-177 (1984). 审核人:F.彼得雷斯库 MSC公司:65年第68季度 05年3月 68问题65 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{Ph.Darondeau}和\textit{L.Kott},Inf.过程。莱特。1973-177(1984年;兹bl 0575.68082) 全文: 内政部
约斯特·恩格尔弗里特;乔拉·斯卢茨基 扩展宏语法和堆栈控制机器。 (英语) 兹比尔0575.68081 J.计算。系统。科学。 29, 366-408 (1984). 审核人:F.彼得雷斯库 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{G.Slutzki},J.Compute。系统。科学。29366--408(1984年;Zbl 0575.68081) 全文: 内政部 链接
Gy Lampérth。 形式语言的可闭性和可约性。 (英语) Zbl 0575.68078号 关于自动机和语言的论文VI,数学系。,卡尔·马克思经济大学。,布达佩斯1984-377-87(1984)。 审核人:F.彼得雷斯库 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式
⑩特凡,都铎 常规语言的逻辑方法。 (英语) 兹比尔0574.68061 修订版Roum。数学。Pures应用程序。 29, 433-438 (1984). 审核人:A.斯托尔布什金 MSC公司:65年第68季度 68问题65 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{T.⁄tefan},Rev.Roum。数学。Pures应用程序。29、433--438(1984年;Zbl 0574.68061)
尤尔根·达索 关于确定性随机上下文L系统。 (英语) Zbl 0574.68046号 Frege会议,Proc。国际会议,瑞士/德国。1984年,数学。第20号决议,309-313(1984年)。 审核人:M.林纳 MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式
芭芭拉,普莱辛斯卡;安德烈·普莱什琴斯基 建模自动机网络。 (波兰语。英文摘要) Zbl 0573.68064号 架构(architecture)。自动。远程机械。 2951-508(1984年).MSC公司:68岁20岁 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Pleszcyñska}和\textit{A.Pleszyn ski},拱门。自动。远程机械。29501--508(1984年;Zbl 0573.68064)
雷纳·坎普 关于LR(0)文法的可判定性和翻译结果。 (英语) Zbl 0573.68047号 Elektron公司。通知-藜芦。凯伯内提克 20, 611-621 (1984). 审核人:J.皮特 MSC公司:第68页第20页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Kemp},Elektron公司。Informationsverarbeitung Kybernetik Kybernatik信息20,611--621(1984;Zbl 0573.68047)