吕迪格·雷内克 霍尔的通信顺序过程：跟踪模型的扩展。（Hoares通信顺序过程：Erweiterung des Spurenmodels。） （德语） Zbl 1062.68562号 凯泽斯劳滕大学：凯泽斯劳滕大学FB Informatik。147秒。(1985).MSC公司：65年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{R.Reinecke}，《Hoares通信顺序过程：Erweiterung des Sprenmodells》。凯泽斯劳滕：凯泽斯劳滕大学FB Informatik（1985；Zbl 1062.68562）
库兹涅佐夫，O.P。;阿德尔·桑·维尔斯基，G.M。 工程师离散数学。 （英语） Zbl 0788.0004号 计算机数学专题. 2. 宾夕法尼亚州费城：Gordon和Breach科学出版社。xiv，410页（1985）。 审核人：H.Alt（柏林） MSC公司：00A06号 00-01 2005年第68季度 03B05号 05年3月 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{O.P.Kuznetsov}和\textit{G.M.Adel'son-Vel'skii}，工程师离散数学。宾夕法尼亚州费城：Gordon和Breach科学出版社（1985；Zbl 0788.0004）
亚瑟·雨果（Arthur Hugo Veen） 误解的分号。协调命令式语言和数据流机器。项目简介。 （英语） Zbl 0825.68445号 埃因霍温：技术学院，XII，176页（1985）。MSC公司：65年第68季度 68-02 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.H.Veen}，错误的分号。协调命令式语言和数据流机器。普罗夫施里夫。埃因霍温：技术学院（1985；Zbl 0825.68445）
A.K.普拉托夫。 时滞排队系统控制的自动机模型。 （英语。俄文原件） Zbl 0688.90030号 苏联。J.计算。系统。科学。 23，第2号，63-68（1985）; Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1984年，第6期，94-99（1984）。MSC公司：90B22型 60K25码 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Pulatov}，苏联。J.计算。系统。科学。23，No.2，63--68（1985；Zbl 0688.90030）；Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1984年，第6期，94-99（1984）
T·福村。;Y.稻垣祯一。 自动机、形式语言和计算。第2版。 （日语） Zbl 0666.68001号 岩手县, 6. 东京：Iwanami Shoten出版社。八、 235页（1985年）。MSC公司：68-01 65年第68季度 2005年第68季度 68T50型 05年3月 03日第10天 2015年3月1日 PDF格式BibTeX公司 XML格式
马塞尔·施滕贝格（Marcel Schützenberger） 计算机科学和数学。 （保加利亚语。法语原件） 兹标0658.01014 菲兹-Mat.Spis公司。 27(60), 319-323 (1985); C.R.Acad.翻译。科学。，巴黎，Sér。盖恩。，《科学观点》。1, 175-179 (1984).MSC公司：01A60型 68-03 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Schützenberger}，菲兹-Mat.Spis公司。27（60），319-323（1985；Zbl 0658.01014）；C.R.Acad.翻译。科学。，巴黎，Sér。盖恩。，《科学观点》。1, 175--179 (1984)
平，J.E。 各种正式语言。（法语翻译）。 （英语） Zbl 0655.68095号 牛津：北牛津学院。150页（1985年）。MSC公司：65年第68季度 20立方米 68-02 70年第68季度 2005年5月20日 2007年7月20日 PDF格式BibTeX公司 XML格式
C.A.R.霍尔。 传达顺序过程。 （英语） Zbl 0637.68007号 Prentice-Hall国际计算机科学系列。新泽西州Englewood Cliffs等：Prentice-Hall International。256页；$57.95; £31.95 (1985). 审核人：J.奥尔谢夫斯基 MSC公司：68-02 68问题65 68号01 65年第68季度 PDF格式BibTeX公司 XML格式
轩尼诗，M。 验收树。 （英语） Zbl 0633.68074号 J.协会计算。机器。 32, 896-928 (1985).MSC公司：65年第68季度 05二氧化碳 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}，J.协会计算。机器。32896--928（1985年；Zbl 0633.68074） 全文： 内政部
陈立兴;马世华 形式语言的无限商。二、。 （中文。英文摘要） Zbl 0632.68071号 山东大学自然科学。预计起飞时间。 1985年，第2期，49-55（1985）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Chen}和\textit{S.Ma}，山东大学自然科学学院。1985年版，第2期，49-55（1985；Zbl 0632.68071）
克里斯托夫·鲁特瑙尔 变长码的非交换因子分解。 （英语） Zbl 0629.68079号 J.纯应用。代数 36, 167-185 (1985). 审核人：H.Jürgensen先生 MSC公司：65年第68季度 94A45型 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{C.Reutenauer}，J.Pure应用。代数36，167--185（1985；Zbl 0629.68079） 全文： 内政部
新泽西州加巴索夫。 用有限加权树表示线性自动机。 （英语。俄文原件） Zbl 0626.68046号 苏联。数学。 29，第7期，98-101（1985）; Izv的翻译。维什。Uchebn。扎维德。，材料1985，第7号（278），68-70（1985）。 审核人：A.阿尔达姆 MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本｛N.Z.Gabbasov｝，Sov。数学。29，第7号，98--101（1985；Zbl 0626.68046）；Izv的翻译。维什。Uchebn。扎维德。，材料1985，第7号（278），68-70（1985）
W.Kuich。 正式Potenzreihen、Automaten和Sprachen。（形式幂级数、自动机和语言）。 （德语） Zbl 0625.68062号 《联邦信息报》，1985年，Surv。计算。科学。，119-148 (1985).MSC公司：65年第68季度 68-02 PDF格式BibTeX公司 XML格式
伊藤，M。 在对象集形成格的小类别上。 （英语） Zbl 0624.18002号 半群，Proc。Conf.，Szeged/悬挂。1981年，大学数学。János Bolyai社会39，83-96（1985）。MSC公司：18B20型 18立方厘米35 06B99号 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式
博戈莫洛夫，S.A。 从有限的实验集合成自动机。 （英语。俄文原件） Zbl 0623.68057号 苏联。数学。，多克。 31, 268-270 (1985); Dokl翻译。阿卡德。Nauk SSSR 28120-22（1985）。 审核人：A.D.科尔什乌诺夫 MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Bogomolov}，苏联。数学。，多克。31268--270（1985年；Zbl 0623.68057）；Dokl翻译。阿卡德。Nauk SSSR 281，20-22（1985）
医学硕士斯皮瓦克。;Chernyj，D.E。 自动机级联耦合的控制问题。 （英语。俄文原件） Zbl 0623.68056号 控制论 21, 422-427 (1985); 译自Kibernetika 1985，第4期，9-12（1985）。 审核人：A.D.科尔什乌诺夫 MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Spivak}和\textit{D.E.Chernyj}，控制论21，422--427（1985；Zbl 0623.68056）；译自Kibernetika 1985，No.4，9--12（1985） 全文： 内政部
罗纳德·埃默里（Ronald C.Emery）。 数字电路。逻辑和设计。 （英语） Zbl 0622.94027号 电气工程与电子, 25. 纽约-巴塞尔：Marcel Dekker，Inc.VII，212 p.（1985）。 审核人：陶仁吉 MSC公司：94立方厘米 94-01 65年第68季度 PDF格式BibTeX公司 XML格式
卡马拉·克里蒂瓦桑;安妮迪娅·达斯 终端加权语法和图片描述。 （英语） Zbl 0622.68067号 计算。视觉图形图像处理。 30, 13-31 (1985).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Krithivasan}和\textit{A.Das}，计算。视觉。图表。图像处理。30、13-31（1985年；Zbl 0622.68067） 全文： 内政部
塞雷金，I.A。 具有可分解特征半群的自动机。 （俄语） Zbl 0622.20059号 系统优化和控制的数学方法。科学。Works，加里宁1985，29-32（1985）。 审核人：M.Demlová MSC公司：20立方米 65年第68季度 PDF格式BibTeX公司 XML格式
沃伊切赫·巴斯科夫斯基 范畴语法的代数模型。 （英语） Zbl 0618.03010号 逻辑和语言学基础。巴普。第七届国际会议。逻辑，方法论。菲洛斯。科学。，萨尔茨堡/奥地利1983，403-426（1985）。MSC公司：03B65号 65年第68季度 PDF格式BibTeX公司 XML格式
朱哈Kortelainen 每个交换拟有理语言都是正则的。 （英语） Zbl 0617.68068号 《自动化、语言和编程》，第12届Colloq.，Nafplion/希腊1985年，Lect。注释计算。科学。194, 348-355 (1985). 审核人：S.马库斯 MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式
阿卜拉耶夫，F.M。 概率机器用于实时表示语言的可能性。 （英语。俄文原件） Zbl 0617.68052号 苏联。数学。 29，第7期，44-55（1985）; Izv的翻译。维什。Uchebn。扎维德。，Mat.1985，第7号（278），32-40（1985）。 审核人：G.B.马兰德日 MSC公司：2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本｛F.M.Ablaev｝，Sov。数学。29，No.7，44-55（1985；Zbl 0617.68052）；Izv的翻译。维什。Uchebn。扎维德。，材料1985，第7号（278），32-40（1985）
加布里埃尔·奥曼。 关于派生函数的一些注释。 （英语） Zbl 0616.68071号 布尔。布拉索夫大学。C类 27, 47-50 (1985).MSC公司：65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \文本{G.V.Orman}，布尔。Brașov大学，Ser。C 27，47--50（1985；Zbl 0616.68071）
马塞维蒂，L.V。 关于增长概率自动机的一些信息性质。 （俄语） Zbl 0616.68054号 Kibernetika岛 1985年，第2期，102-104（1985）. 审核人：S.Janicki公司 MSC公司：65年第68季度 94甲17 PDF格式BibTeX公司 XML格式引用 \textit{L.V.Matsevityj}，Kibernetika 1985，第2期，第102-104页（1985；Zbl 0616.68054）
van de Snepscheut，Jan L.A。 轨迹理论与超大规模集成电路设计。 （英语） Zbl 0616.68001号 计算机科学课堂讲稿, 200. 柏林等：Springer-Verlag。六、 141 p.DM 24.50（1985）。 审核人：J.霍姆科维奇 MSC公司：68-02 68号01 70年第68季度 65年第68季度 94C99号 PDF格式BibTeX公司 XML格式
弗雷瓦尔德，R.V。 具有滞后的函数元的概率和确定性方案。 （英语） Zbl 0615.68054号 苏联。数学。 29，第7号，56-63（1985）.MSC公司：65年第68季度 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{R.V.Frejvald}，苏联。数学。29，第7号，56--63（1985；Zbl 0615.68054）
E.戈巴斯。;M.巴塔。 统一多通属性文法的原子特征。 （英语） Zbl 0615.68049号 《网络学报》。 155-172年7月（1985年）. 审核人：T.朱坎 MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Gombás}和\textit{M.Bartha}，《网络学报》。7、155--172（1985年；Zbl 0615.68049）
佩恩，古奥热;塔塔姆，莫妮卡 具有上下文相关图的映射类。 （英语） Zbl 0615.68048号 修订版Roum。数学。Pures应用程序。 30, 273-288 (1985). 审核人：T.朱坎 MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Pun}和\textit{M.TrM}，Rev.Roum。数学。Pures应用程序。30273--288（1985年；Zbl 0615.68048）
雷纳托·贝蒂;斯特凡诺·卡桑吉安 树自动机和丰富的范畴理论。 （英语） Zbl 0614.68045号 伦德。问题。的里雅斯特马特大学 17, 71-78 (1985). 审核人：M.Eytan先生 MSC公司：65年第68季度 18D20天 18B20型 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Betti}和\textit{S.Kasangian}，伦德。问题。Trieste Mat.Univ.17，71--78（1985；Zbl 0614.68045）
北巴巴。 学习自动机理论和应用的新课题。 （英语） Zbl 0614.68041号 控制与信息科学课堂讲稿, 71. 柏林等：Springer-Verlag。七、 131 p.DM 27.00（1985）。 审核人：R.西奥多雷斯库 MSC公司：68T05型 65年第68季度 68-02 91A12号机组 PDF格式BibTeX公司 XML格式
Beauquier博士。 集成了双定义mots的可侦察性。限制和期限。 （法语） Zbl 0613.68031号 无限单词上的自动机，Ec.Printemps Inf.Théor。Le Mont Dore 1984年，莱克托。注释计算。科学。192, 28-46 (1985). 审核人：G.奥曼 MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式
T·M·阿利耶夫。 一类右弱进动文法（RWP）。 （英语。俄文原件） Zbl 0612.68076号 控制论 21, 189-199 (1985); 译自Kibernetika 1985，No.2，33-40（1985）。 审核人：G.格里戈拉斯 MSC公司：68N20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Aliev}，控制论21，189--199（1985；Zbl 0612.68076）；译自Kibernetika 1985年，第2期，33-40（1985） 全文： 内政部
安德烈·阿诺德 确定性和非模糊性有理语言。 （英语） Zbl 0612.68073号 无限单词上的自动机，Ec.Printemps Inf.Théor。，Le Mont Dore 1984，勒克特。注释计算。科学。192, 18-27 (1985). 审核人：G.奥曼 MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式
Gire，F。 无限推导。 （英语） Zbl 0612.68072号 语义代数方法，塞明。枫丹白露/法国1982年，363-381（1985年）。 审核人：N.Huhro公司 MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式
佩恩，古奥热 关于Galiukschov半文本语言的两个定理。 （英语） Zbl 0612.68068号 凯贝内提卡 21, 360-365 (1985). 审核人：G.奥曼 MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Pun}，Kybernetika基贝内提卡21，360-365（1985；Zbl 0612.68068） 全文： 欧洲DML
布哈拉耶夫（R.G.Bukharaev）。 概率自动机理论基础。（Osnovy teorii veroyatnostnykh avtomatov）。 （俄语） Zbl 0612.68050号 莫斯科：“Nauka”。Glavnaya Redaktsiya Fiziko-Matematicheskoj文学。288 p.R.2.80（1985年）。 审核人：J.霍姆科维奇 MSC公司：65年第68季度 68-02 68平方米 65年第68季度 70年第68季度 60J10型 20立方米 68-01 94A40型 PDF格式BibTeX公司 XML格式
乔尔加泽，A.Kh。;Matevosyan，A.A。;Mandzhgaladze，P.V.公司。 增长的概率自动模型。 （英语。俄文原件） 兹比尔0612.68049 苏联。数学。 29，第7期，117-120（1985）; Izv的翻译。维什。Uchebn。扎维德。，材料1985，第7号（278），79-81（1985）。 审核人：P.Jirků MSC公司：65年第68季度 68克80 92B05型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kh.Giorgadze}等人，Sov。数学。29，第7号，117-120（1985；Zbl 0612.68049）；Izv的翻译。维什。Uchebn。扎维德。，材料1985，第7号（278），79-81（1985）
A.W.莫斯托夫斯基。 无限树的正则表达式和标准形式的自动机。 （英语） Zbl 0612.68046号 计算理论，Proc。第五交响曲。，扎博罗w/Pol。1984年，Lect。注释计算。科学。208, 157-168 (1985).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式
罗纳德·佩克特 \（欧米茄）-reguläre Sprachen und temporale Aussagenlogik。 （德语） Zbl 0612.03015号 埃根·西奇技术学院（Eidgenössische Technische Hochschule Zürich）。77 S.（1985）。MSC公司：03B70号 65年第68季度 05年3月 68问题65 PDF格式BibTeX公司 XML格式
法希尼，E。;那不勒斯，M。 Snychronized自下而上树自动机和L系统。 （英语） Zbl 0611.68054号 软件开发的数学基础。Int.Conf.，柏林，1985年，第1卷：代数和编程中的Colloq.树，Lect。注释计算。科学。185, 298-307 (1985). 审核人：D.卢卡努 MSC公司：65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式
沃伊切赫·莱特 快速识别下推自动机和无上下文语言。 （英语） 兹比尔0611.68052 Inf.控制 67, 12-22 (1985).MSC公司：65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛W.Rytter｝，信息控制67，12-22（1985年；兹bl 0611.68052） 全文： 内政部
鲁霍宁（Ruohonen，Keijo） 正则语言重数集的相等性。 （英语） Zbl 0611.68049号 西奥。计算。科学。 36, 113-117 (1985). 审核人：A.斯托尔布什金 MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Ruohonen}，Theor。计算。科学。36、113--117（1985年；Zbl 0611.68049） 全文： 内政部
普斯卡斯，Cs。 用半群和语言向量刻画某些类型的自动机映射。一、。 （英语） Zbl 0611.68033号 数学系。，卡尔·马克思经济大学。，布达佩斯1985-167-90（1985）。 审核人：M.斯坦比 MSC公司：65年第68季度 20立方米 70年第68季度 PDF格式BibTeX公司 XML格式
A.A.库米特。 将概率自动机的分解问题简化为确定性自动机的类似问题。 （英语。俄文原件） 兹比尔0611.68029 苏联。数学。 29，第12号，6-18（1985）; Izv的翻译。维什。Uchebn。扎维德。，Mat.1985，第12号（283），6-15（1985）。 审核人：利沃夫斯基 MSC公司：65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Kurmit}，Sov（苏联）。数学。29，No.12，6--18（1985；Zbl 0611.68029）；Izv的翻译。维什。Uchebn。扎维德。，材料1985，第12号（283），6-15（1985）
弗雷瓦尔德，R.V。 概率三头有限自动机相对于确定性多头自动机的优势。 （俄语） Zbl 0611.68028号 拉丁美洲。Mat.Ezheg公司。 29, 155-163 (1985). 审核人：利沃夫斯基 MSC公司：65年第68季度 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{R.V.Frejvald}，拉丁。Mat.Ezheg公司。29155-163（1985年；Zbl 0611.68028）
Jean-Claude斯佩纳 Systèmes entiers d’équations sur un alphabet fini et consuction d’Ehrenfeucht。 （法语） Zbl 0609.68054号 西奥。计算。科学。 39, 171-188 (1985). 审核人：通用 MSC公司：65年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \文本{J.-C.斯佩纳}，Theor。计算。科学。39171--188（1985年；Zbl 0609.68054） 全文： 内政部
冯克勤 具有广义半线性性质的AFL。 （英语） Zbl 0609.68051号 科学通宝，外语编辑。 30, 10-13 (1985). 审核人：通用 MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Feng}，科学科学，科学通宝。牛市。30、10-13（1985年；Zbl 0609.68051）
I.S.格伦斯基。 有限自动机的表示。 （英语。俄文原件） Zbl 0609.68040号 控制论 21, 168-176 (1985); 翻译自Kibernetika 1985，第2期，17-23页（1985年）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Grunskij}，控制论21，168--176（1985；Zbl 0609.68040）；译自Kibernetika 1985，No.2，17-23（1985） 全文： 内政部
克莱莉亚·德·费利塞 构造一类分解码。 （英语） Zbl 0608.94011号 计算机科学的理论方面，第二交响曲。，萨尔布吕肯/德国。1985年，Lect。注释计算。科学。182, 80-86 (1985). 审核人：C.雷诺 MSC公司：94A45型 65年第68季度 2005年5月20日 20立方米 PDF格式BibTeX公司 XML格式
A.I.普列特涅夫。 变结构自动机的最优行为。 （英语。俄文原件） Zbl 0608.68069号 苏联。数学。 29，No.7，85-90（1985）; Izv的翻译。维什。Uchebn。扎维德。，Mat.1985，第7号（278），59-62（1985）。 审核人：Y.M.El-Fattah先生 MSC公司：68T05型 93C40型 93E20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本｛A.I.Pletnev｝，Sov。数学。29，第7号，85-90（1985；Zbl 0608.68069）；Izv的翻译。维什。Uchebn。扎维德。，材料1985，第7号（278），59-62（1985）
A.P.利索维克。 具有反向有界计数器的变压器的可解问题。 （英语。俄文原件） Zbl 0608.68067号 控制论 21, 275-284 (1985); 译自Kibernetika 1985年，第3期，第1-8页（1985年）。MSC公司：65年第68季度 20立方米 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Lisovik}，《控制论》21，275--284（1985；Zbl 0608.68067）；译自Kibernetika 1985，No.3，1--8（1985） 全文： 内政部
佩恩，古奥热 关于马库斯语境语言的一些公开问题。 （英语） Zbl 0608.68064号 国际期刊计算。数学。 17, 9-23 (1985). 审核人：M.林纳 MSC公司：65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Pun}，国际计算机杂志。数学。17、9--23（1985年；Zbl 0608.68064） 全文： 内政部
Leona F.法斯。 关于规范上下文无关文法的推理（放大）。 （英语） Zbl 0608.68062号 SIGACT News 17，No.4，55-60（1985）。MSC公司：65年第68季度 68T05型 PDF格式BibTeX公司 XML格式
Dahlhaus，E。;H·盖夫曼。 关于两个相邻的无上下文语言。 （英语） 兹比尔0608.68061 西奥。计算。科学。 41, 169-184 (1985). 审核人：R.安多尼 MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Dahlhaus}和\textit{H.Gaifman}，Theor。计算。科学。41169--184（1985年；Zbl 0608.68061） 全文： 内政部
加利尔，兹维;拉斐尔·吉安卡洛 改进了k个不匹配的字符串匹配。 （英语） Zbl 0608.68058号 SIGACT News 17，No.4，52-54（1985）。MSC公司：68页第10页 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式
艾斯布兰德·简·奥尔伯斯堡;G.罗森伯格。 CTS系统和Petri网。 （英语） Zbl 0608.68053号 西奥。计算。科学。 40, 149-162 (1985).MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.J.Aalbersberg}和\textit{G.Rozenberg}，Theor。计算。科学。40、149——162（1985年；Zbl 0608.68053） 全文： 内政部
太和县卡诺卡;富田、新高 随机系统的齐次分解。 （英语） Zbl 0608.68051号 西奥。计算。科学。 40, 245-255 (1985).MSC公司：70年第68季度 65年第68季度 93E03型 PDF格式BibTeX公司 XML格式引用 \textit{T.Kanaoka}和\textit{S.Tomita}，Theor。计算。科学。40245--255（1985；Zbl 0608.68051） 全文： 内政部
亚·艾伯茨。 关于不确定图灵机的磁带复杂性。 （英语。俄文原件） Zbl 0608.68037号 苏联。数学。 第7121-125号第29页（1985年）; Izv的翻译。维什。Uchebn。扎维德。，Mat.1985，第7号（278），81-83（1985）。 审核人：D.Yu。格里戈列夫 MSC公司：65年第68季度 2005年第68季度 03日第10天 2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ya.Alberts}，Sov（苏联）。数学。29，No.7，121--125（1985；Zbl 0608.68037）；Izv的翻译。维什。Uchebn。扎维德。，材料1985，第7号（278），81-83（1985）
沃尔夫冈·马斯 确定性和非确定性图灵机的组合下限参数。 （英语） Zbl 0608.03013号 事务处理。美国数学。Soc公司。 292, 675-693 (1985). 审核人：D.Yu。格里戈列夫 MSC公司：2015年3月1日 03日第10天 65年第68季度 2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Maass}，翻译。美国数学。Soc.292675-693（1985；Zbl 0608.03013） 全文： 内政部
雷纳·沃格尔 级联序列的线性复杂度。 （英语） Zbl 0607.94006号 密码学进展，Proc。EUROCRYPT 84，1984年巴黎研讨会，Lect。注释计算。科学。209, 99-109 (1985). 审核人：J.Ż乌拉维耶基 MSC公司：94A60型 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式
弗雷瓦尔德，R.V。 具有延迟的功能元素的概率和确定性方案。 （俄语） Zbl 0607.68063号 伊兹夫。维什。Uchebn。扎维德。，材料。 1985年，第7期（278），40-44（1985）. 审核人：A.V.阿尼西莫夫 MSC公司：65年第68季度 68平方米 PDF格式BibTeX公司 XML格式引用 \文本{R.V.Frejvald}，Izv。维什。Uchebn。扎维德。，材料1985，编号7（278），40-44（1985；Zbl 0607.68063）
O.M.雷文。;亚利桑那州齐夫林。五、。 可由一维迭代系统实现的函数。 （英语。俄文原件） Zbl 0607.68062号 控制论 21, 315-319 (1985); 译自Kibernetika 1985，第3期，34-36，40（1985）。MSC公司：65年第68季度 03天60 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{O.M.Revin}和\textit{Ya.V.Tsivlin}，控制论21，315--319（1985；Zbl 0607.68062）；译自Kibernetika 1985，No.3，34-36，40（1985） 全文： 内政部
武士林下;宫野，佐藤 无限树上的有限树自动机。 （英语） Zbl 0607.68060号 牛市。信息网络。 21，第3-4号，第71-82号（1985年）. 审核人：M.斯坦比 MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Hayashi}和\textit{S.Miyano}，公牛。信息网络。21，编号3--4，71-82（1985；Zbl 0607.68060）
郭玉奇;李丽安;徐光武 关于密集语言的析取结构。 （英语） Zbl 0607.68057号 科学。罪。，序列号。A类 28, 1233-1238 (1985).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Guo}等人，科学。罪。，序列号。A 28，1233--1238（1985；Zbl 0607.68057）
Leis，Ernst L。 关于求解恒星方程。 （英语） 兹比尔0607.68056 西奥。计算。科学。 39, 327-332 (1985).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.L.Leiss}，Theor。计算。科学。39327--332（1985；Zbl 0607.68056） 全文： 内政部
巴利亚特·纳伦德兰;科尔姆·奥斯杜伦;海因里希·罗列茨切克 同余语言某些决策问题的复杂性。 （英语） Zbl 0607.68055号 J.计算。系统。科学。 30, 343-358 (1985). 审核人：Z.斯塔奇尼亚克 MSC公司：65年第68季度 65年第68季度 03年3月 PDF格式BibTeX公司 XML格式引用 \textit{P.Narendran}等人，《计算杂志》。系统。科学。30343--358（1985；Zbl 0607.68055） 全文： 内政部
加利尔，兹维 架构学中的开放性问题。 （英语） Zbl 0607.68054号 单词组合算法。北约高级研究研讨会，1984年意大利马拉特，北约ASI Ser。，序列号。F 12，1-8（1985）。 审核人：G.斯拉茨基 MSC公司：68卢比99 65年第68季度 65年第68季度 68-02 PDF格式BibTeX公司 XML格式
皮斯库诺夫，S.V。 解释并行微程序的自动机网络的构建。 （俄语） 兹比尔0607.68046 维奇尔。修女。 112, 66-78 (1985).MSC公司：65年第68季度 68纳米99 PDF格式BibTeX公司 XML格式引用 \文本｛S.V.Piskunov｝，维奇斯。修女。112、66-78（1985年；Zbl 0607.68046）
关、纪文;徐，英 有限自动机的线性实现算法。 （中文。英文摘要） Zbl 0607.68038号 科学学报。国立吉林大学 1985年，第1期，119-126（1985）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Guan}和\textit{Y.Xu}，《科学学报》。Jilinensis国立大学1985年，第1期，119-126（1985；Zbl 0607.68038）
亚·艾伯茨。 非确定性图灵机上计算的复杂性。 （俄语） Zbl 0607.68035号 拉丁美洲。Mat.Ezheg公司。 29, 112-118 (1985). 审核人：S.P.尤克纳 MSC公司：2005年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ya.Alberts}，拉脱维亚。Mat.Ezheg公司。29112-118（1985年；Zbl 0607.68035）
北卡罗来纳州Chuzhanova。 程序综合的归纳方法。 （俄语） Zbl 0607.68007号 维奇尔。修女。 107, 137-150 (1985). 审核人：J.Hořejš MSC公司：第68季度第60季度 65年第68季度 68吨10 PDF格式BibTeX公司 XML格式引用 \textit{N.A.Chuzhanova}，维奇尔。修女。107137-150（1985年；Zbl 0607.68007）
维托尔德·贾卡;伊雷内乌斯·西罗基 一种用于句法模式识别的树受体合成算法。 （波兰语。英语、俄语摘要） Zbl 0606.68083号 机器人，第一国家。Conf.，Wrocław/Pol.公司。1985年，第1卷，诺克牧师。Cybern学院。科技政治学。Wrocław。65，序列号。康夫。24, 105-112 (1985).MSC公司：68吨10 65年第68季度 PDF格式BibTeX公司 XML格式
布彻，W。;A.埃伦菲赫特。;D.豪斯勒。 关于总调节器产生的推导关系。 （英语） Zbl 0606.68074号 西奥。计算。科学。 40, 131-148 (1985).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Bucher}等人，Theor。计算。科学。40、131--148（1985年；Zbl 0606.68074） 全文： 内政部
弗里德里希·尤巴内克（Friedrich J.Urbanek）。 关于Greibach范式结构。 （英语） Zbl 0606.68073号 西奥。计算。科学。 40, 315-317 (1985).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.J.Urbanek}，Theor。计算。科学。40315--317（1985；Zbl 0606.68073） 全文： 内政部
德拉甘·科拉尔;沃伊斯拉夫·斯托伊科维奇 用PROLOG语言实现CF-grammars。 （英语） Zbl 0606.68072号 Zb.公司。Rad.、Prir.-Mat.Fak.、。，Novom Sadu大学。材料。 15，编号1245-252（1985）.MSC公司：65年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{D.Kolar}和\textit{V.Stojković}，Zb。Rad.、Prir.-Mat.Fak.、。，Novom Sadu大学。材料15，编号1，245--252（1985；Zbl 0606.68072）
斯科贝列夫，V.G。 关于搜索有限自动机的诊断词和设置词的复杂性。 （俄语） Zbl 0606.68051号 Kibernetika岛 1985年，第4期，116-118（1985）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.G.Skobelev}，Kibernetika 1985年，第4期，116--118（1985年；Zbl 0606.68051）
普尔泽米斯·道曼斯基 随机环境中的线性随机自动机。 （英语） Zbl 0606.68049号 机器人，第一届国家。Conf.，Wrocław/Pol.公司。1985年，第1卷，诺克牧师。Cybern学院。科技政治学。Wrocław。65，序列号。康夫。24, 83-90 (1985).MSC公司：68T05型 65年第68季度 PDF格式BibTeX公司 XML格式
G.鲍尔。 n级重写系统。 （英语） 兹比尔0606.68025 西奥。计算。科学。 40, 85-99 (1985).MSC公司：68问题65 2005年5月20日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \发短信{G.Bauer}，Theor。计算。科学。40、85-99（1985年；Zbl 0606.68025） 全文： 内政部
T·贝思。;F.C.派珀。 停歇式发电机。 （英语） Zbl 0605.94007号 密码学进展，Proc。EUROCRYPT 84，1984年巴黎研讨会，Lect。注释计算。科学。209, 88-92 (1985). 审核人：陶仁吉 MSC公司：94A60型 11T99型 65年第68季度 PDF格式BibTeX公司 XML格式
利索维克，L.P。 标记树泛函的正则代数。 （英语。俄文原件） Zbl 0605.68081号 控制论 21, 591-598 (1985); 译自Kibernetika 1985，第5期，25-30（1985）。MSC公司：65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{L.P.Lisovik}，控制论21，591--598（1985；Zbl 0605.68081）；译自Kibernetika 1985，No.5，25-30（1985） 全文： 内政部
朱拉吉·赫罗姆科维奇 关于单向双头确定性有限状态自动机。 （英语） 兹比尔0605.68079 计算。Artif公司。智力。 4, 503-526 (1985). 审核人：F.彼得雷斯库 MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hromkovič}，计算。Artif公司。智力。4503--526（1985；Zbl 0605.68079）
沃伊切赫·莱特 关于无语境语言的识别。 （英语） 兹比尔0605.68077 计算理论，Proc。第五交响曲。，扎博罗w/Pol。1984年，Lect。注释计算。科学。208, 318-325 (1985).MSC公司：65年第68季度 65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式
Peeva，K.G。 关于模糊自动机和模糊文法。 （英语） Zbl 0605.68076号 科兹勒梅内耶克，马吉。周二。阿卡德。，Számitástechnikai Autom公司。库特。国际。33, 55-67 (1985).MSC公司：65年第68季度 68吨10 PDF格式BibTeX公司 XML格式
郭永清。;H.J.Shyr。;蒂尔林，G。 QF-dis连接语言。 （英语） Zbl 0605.68067号 数学系。，卡尔·马克思经济大学。，布达佩斯，1985年5月1日至28日。 审核人：F.彼得雷斯库 MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式
纳利纳克什·尼马尔;卡马拉·克里蒂瓦桑 上下文相关的表矩阵L系统。 （英语） Zbl 0605.68065号 信息科学。 36, 249-265 (1985).MSC公司：65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Nirmal}和\textit{K.Krithivasan}，《信息科学》。36、249--265（1985；Zbl 0605.68065） 全文： 内政部
米歇尔·帕里戈特;伊丽莎白·佩尔兹 Petri网语言的逻辑方法。 （英语） Zbl 0605.68049号 西奥。计算。科学。 39, 155-169 (1985). 审核人：D.克里斯蒂 MSC公司：68问题85 05年3月 65年第68季度 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Pariget}和\textit{E.Pelz}，Theor。计算。科学。39155-169（1985年；Zbl 0605.68049） 全文： 内政部
彼得·斯塔克。 痕迹和半单词。 （英语） Zbl 0605.68048号 计算理论，Proc。第五交响曲。，扎博罗w/Pol。1984年，Lect。注释计算。科学。208, 332-349 (1985).MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式
马克·杰鲁姆 从均匀分布中随机生成组合结构。 （英语） Zbl 0605.68037号 《自动化、语言和编程》，第12届Colloq.，Nafplion/希腊1985年，Lect。注释计算。科学。194, 290-299 (1985).MSC公司：2005年第68季度 65年第68季度 65年第68季度 68兰特 68平方米 PDF格式BibTeX公司 XML格式
布鲁斯·利托（Bruce E.Litow）。 关于对数空间下图灵机计算的有效确定性模拟。 （英语） Zbl 0605.68036号 数学。系统。理论 1985年11月18日.MSC公司：2005年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.E.Litow}，数学。系统。理论18，11-18（1985年；Zbl 0605.68036） 全文： 内政部
阿平，余。答：。 非马尔可夫随机序列渐近性的矩阵定理。 （俄语） 兹比尔0605.60056 Veroyatn公司。梅托迪·基伯恩。 21, 3-11 (1985). 审核人：谢瓦希泽 MSC公司：60G99型 65年第68季度 60英尺99英寸 PDF格式BibTeX公司 XML格式引用 \textit{Yu.A.Al'pin}，Veroyatn。梅托迪·基伯恩。21,3--11（1985；Zbl 0605.60056） 全文： 欧洲DML
武士县信原 从否定数据进行归纳推理。 （英语） Zbl 0604.68096号 牛市。信息网络。 21，编号3-4，67-70（1985）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Shinohara}，公牛。信息网络。21，编号3--4，67-70（1985；Zbl 0604.68096）
马雷克·埃兹蒙特 关于数组语言之间的日志空间可约性。 （英语） Zbl 0604.68095号 计算理论，Proc。第五交响曲。，扎博罗w/Pol。1984年，勒克特。注释计算。科学。208, 80-90 (1985).MSC公司：65年第68季度 2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式
佩库切特，J.P。 自动化boustropédon，Birget et mono ie de inversif libre半群。 （法语） Zbl 0604.68094号 RAIRO，Inf.Théor公司。 1971-100（1985年）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Pécuchet}，RAIRO，Inf.Théor。19、71——100（1985；Zbl 0604.68094） 全文： 欧洲DML
W.布劳尔。;兰格，K.-J。 非确定性双磁带自动机比确定性自动机更强大。 （英语） Zbl 0604.68093号 计算机科学的理论方面，第二交响曲。，萨尔布吕肯/德国。1985年，Lect。注释计算。科学。182, 71-79 (1985).MSC公司：65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式
吉尔伯托·菲莱 树自动机和逻辑程序。 （英语） Zbl 0604.68092号 计算机科学的理论方面，第二交响曲。，萨尔布吕肯/德国。1985年，Lect。注释计算。科学。182, 119-130 (1985).MSC公司：65年第68季度 68吨15 05年3月 PDF格式BibTeX公司 XML格式
多米尼克·佩林 无限单词上的有限自动机简介。 （英语） Zbl 0604.68091号 关于无限单词的自动机，Ec.Printenps Inf.Théor。，Le Mont Dore 1984年，莱克托。注释计算。科学。192, 2-17 (1985). 审核人：通用 MSC公司：65年第68季度 05年3月 68-01 03-01 PDF格式BibTeX公司 XML格式
苏布拉曼尼亚语，K.G。 关于局部附加语法的一些变体的注释。 （英语） Zbl 0604.68088号 实用程序。数学。 28, 77-89 (1985).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Subramanian}，乌提尔。数学。28、77——89（1985；Zbl 0604.68088）
博阿森，L。;Senizergues，G。 NTS语言具有确定性和同余性。 （英语） Zbl 0604.68087号 J.计算。系统。科学。 31, 332-342 (1985).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Boasson}和\textit{G.Senizergues}，J.Compute。系统。科学。31332--342（1985；Zbl 0604.68087） 全文： 内政部
Senizergues，G。 NTS语言的等价性和包含性问题。 （英语） Zbl 0604.68086号 J.计算。系统。科学。 31, 303-331 (1985).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Senizergues}，J.计算。系统。科学。31303--331（1985；Zbl 0604.68086） 全文： 内政部
米歇尔·拉特奥;珍妮·勒古伊 关于双信念有理锥的有用性。 （英语） Zbl 0604.68083号 数学。系统。理论 18, 19-32 (1985). 审核人：通用 MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Latteux}和\textit{J.Leguy}，数学。系统。理论18，19-32（1985；Zbl 0604.68083） 全文： 内政部