×
莫里斯·比克。;埃兹贝特·苏哈伊·瓦尔朱;马库斯·霍尔泽;吉尔吉斯·瓦西尔

协作分布式语法系统：具有非增量能力的组件。 （英语） Zbl 1330.68138号

Kelemen，Jozef（编辑）等人，《计算、合作与生活》。在盖奥盖·普恩60岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-1999-8/pbk）。计算机科学讲座笔记6610，70-89（2011）。
小结：我们研究CD语法系统（CDGS）的生成能力，CDGS使用基于句子形式能力水平的合作协议，并且其组件的能力在重写过程中不会增加。如果CDGS的一个组件能够准确地重写出现在该字符串中的不同非终结符，那么它在句子形式上是“（k）-胜任的”。如果没有“（k。我们引入了一个静态和动态的定义来施加这种限制，并且我们将这种CDGS以顺序或并行方式并根据上述合作协议工作的生成能力与无上下文禁止随机上下文文法（随机上下文）ET0L系统的生成能力联系起来，以及带有外观检查的无上下文编程语法。
有关整个系列，请参见[Zbl 1216.68029号].

引用于2文件

MSC公司：

2012年第68季度 语法和重写系统
PDF格式BibTeX公司 XML格式引用
\textit{M.H.ter Beek}等人，Lect。注释计算。科学。6610，70-89（2011；Zbl 1330.68138）
全文： 内政部

参考文献：

[1] Meersman，R.，Rozenberg，G.：合作语法系统。收录：Winkowski，J.（编辑）MFCS 1978。LNCS，第64卷，第364-374页。施普林格，海德堡（1978）·兹伯利0387.68057 ·doi:10.1007/3-540-08921-784
[2] Csuhaj–Varjü，E.，Dassow，J.：《协作分布式语法系统》。信息处理与控制论杂志EIK 26，49–63（1990）·Zbl 0693.68041号
[3] Csuhaj–Varjü，E.、Dassow，J.、Kelemen，J.和Pun，G.：语法系统：分配与合作的语法方法。计算机数学专题，第5卷。Gordon and Breach，伦敦（1994）·Zbl 0925.68286号
[4] Dassow，J.、Péun，G.、Rozenberg，G.:语法系统。在：[13]，第2卷，第4章，第155–213页（1997年）
[5] Bordihn，H.，Csuhaj–Varjú，E.：论CD语法系统中的能力和完整性。《控制论学报》12，347–361（1996）·Zbl 0881.68074号
[6] ter Beek，M.H.，Csuhaj–Varjü，E.，Holzer，M.，Vaszil，G.：CD语法系统中的能力。收录：Calude，C.S.、Calude、E.、Dinneen，M.J.（编辑）DLT 2004。LNCS，第3340卷，第76-88页。施普林格，海德堡（2004）·Zbl 1117.68389号 ·doi:10.1007/978-3-540-30550-77
[7] ter Beek，M.H.，Csuhaj–Varjü，E.，Holzer，M.，Vaszil，G.：关于CD语法系统中并行重写的能力。国际计算机科学基础杂志18，1425-1439（2007）·Zbl 1183.68322号 ·doi:10.1142/S0129054107005467
[8] Csuhaj–Varjü，E.，Dassow，J.，Holzer，M.：合作协议中基于能力的进入条件的CD语法系统。《国际计算机数学杂志》83，159–169（2006）·Zbl 1161.68500号 ·doi:10.1080/00207160500113355
[9] von Solms，S.H.：关于ET0L语言的一些注释。国际计算机数学杂志5，285–296（1975）·Zbl 0351.68025号 ·doi:10.1080/00207167608803118
[10] Bordihn，H.，Holzer，M.：合作协议中带否定条件的语法系统。《通用计算机科学杂志》6，1165–1184（2000）·Zbl 0963.68086号
[11] Fernau，H.，Wätjen，D.：关于受管制的有限ET0L系统和受管制的上下文无关语法的评论。理论计算机科学194，35–55（1998）·Zbl 0911.68100号 ·doi:10.1016/S0304-3975（96）00329-5
[12] Dassow，J.，Péun，G.：形式语言理论中的规范重写。EATCS理论计算机科学专著，第18卷。柏林施普林格（1989）·数字对象标识代码：10.1007/978-3-642-74932-2
[13] Rozenberg，G.，Salomaa，A.（编辑）：《形式语言手册》，第1-3卷。柏林施普林格（1997）·Zbl 0866.68057号
[14] Bordihn，H.，Holzer，M.：个人沟通
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。