乔治·泽采 理解矩阵文法中删除规则的生成能力。 （英语） Zbl 1213.68353号 发现的国际期刊。计算。科学。 22，第2期，411-426（2011）. 作者摘要：本文提出了解决矩阵文法中擦除规则是否可以消除这一公开问题的方法。非擦除矩阵文法生成的语言类的特征是新引入的线性Petri网文法。众所周知，Petri网语法等价于任意矩阵语法（无需外观检查）。在线性Petri网文法中，标记的大小必须与句子形式的长度成线性关系。然后用线性Petri网络文法的特征来表明，对Petri网语言应用线性擦除会产生一种由非擦除矩阵文法生成的语言。还证明了在Petri网文法（带有最终标记和任意标记）中，删除规则可以被消除，这就产生了矩阵文法中删除规则是否可以被消除的问题的两种重新表述。审核人：Jörg Desel（哈根） MSC公司： 第68季度第42季度 语法和重写系统 65年第68季度 形式语言和自动机 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：形式语言;矩阵文法;Petri网;多集文法 PDF格式BibTeX公司 XML格式引用 \textit{G.Zetzsche}，国际期刊发现。计算。科学。22，第2号，411--426（2011；Zbl 1213.68353） 全文： 内政部 参考文献： [1] 内政部：10.1007/978-3-540-39886-8_13·doi:10.1007/978-3-540-39886-8_13 [2] DOI:10.1007/978-3-662-07675-0_3·doi:10.1007/978-3-662-07675-03 [3] Dassow Jürgen，《罗马尼亚信息科学与技术杂志》，第12页，191– [4] DOI:10.1016/0304-3975（78）90020-8·Zbl 0389.68030号 ·doi:10.1016/0304-3975（78）90020-8 [5] 内政部：10.1007/BF01178731·Zbl 0834.68064号 ·doi:10.1007/BF01178731 [6] Matthias Höpner，GI Jahrestagung，LNCS 26，ed.Dirk Siefkes（Springer-Verlag，柏林，1974）pp。113–121. [7] Manfred Kudlek、Carlos Martín-Vide和Gheorghe Páun，《多集处理——数学、计算机科学和分子计算观点》，LNCS 2235（Springer-Verlag，柏林，2001），pp。123–133. [8] 内政部：10.1137/0213029·Zbl 0563.68057号 ·doi:10.1137/0213029 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。