彼得·扬查尔;弗朗蒂舍克先生;马丁·普拉特克;约格·沃格尔 正在重新启动自动机。 （英语） Zbl 1508.68194号 Reichel，Horst（编辑），《计算理论基础》。第十届国际会议，FCT’95，德国德累斯顿，1995年8月22日至25日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。965, 283-292 (1995). 摘要：在（自然和形式）语言分析的启发下，我们引入了一种特殊的线性有界自动机——所谓的重启自动机（\（R\）-自动机）。它的计算按一定的周期进行；在每个循环中，删除输入单词的（有界）子序列，并在出现的较短单词上重新开始计算。我们考虑了非确定性和确定性版本，并引入了单调性的自然属性。说明引入概念有用性的主要结果是通过确定性单调（R）自动机对确定性无上下文语言进行了优雅的描述。我们还证明了单调性是可判定的，并用一些相关的结果完成了本文。关于整个系列，请参见[Zbl 0921.00030号]. 引用于30文件 MSC公司： 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \文本{P.Jančar}等人，Lect。注释计算。科学。965、283--292（1995年；Zbl 1508.68194） 全文： 内政部 参考文献： [1] P.Jančar、F.Mráz、M.Plátek：遗忘自动机的分类; 《1993年MFCS会议记录》，波兰根斯克；LNCS 711，527-536，Springer-Verlag，1993年·Zbl 0925.68320号 [2] P.Janáar、F.Mráz、M.Plátek、M.Procházka、J.Vogel：重新启动Automata和Marcus语法，TR Math/95/1弗里德里希·席勒大学，耶拿，1995年（参加第二届语言理论发展国际会议）·Zbl 1096.68658号 [3] P.Jancar、F.Mráz、M.Plátek、J.Vogel：重新启动Automata，TR Math/94/8弗里德里希·席勒大学，耶拿，1994·Zbl 1508.68194号 [4] S.马库斯：代数语言学；分析模型，学术出版社，纽约和伦敦，1967年·Zbl 0174.02402号 [5] L.Nebesk：论句子分析的一种形式化，Slovo一个Slovesnost(捷克语)，No 2，104-1071962[俄语翻译：L.Nebeskij:Ob odnoj formalicacii razbora predlozhenija正式，收录：Matematicheskaja lingvistika，Mir 145-1491964年] [6] G.Paun：关于马库斯语境语言的几个开放性问题，实习生。计算机数学杂志。，第17卷9-23，1985年·Zbl 0608.68064号 [7] M.Plátek：具有形式保证的语法错误恢复I。；布拉格查理斯大学计算机科学系TR No.100，1992 [8] M.Procházka：语法错误及其检测1994年，布拉格查尔斯大学毕业论文（捷克语） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。