首页    期刊浏览 2024年09月12日 星期四
登录注册

文章基本信息

  • 标题:Grammar Systems with Negated Conditions in their Cooperation Protocols
  • 作者:Henning Bordihn ; Markus Holzer
  • 期刊名称:Journal of Universal Computer Science
  • 印刷版ISSN:0948-6968
  • 出版年度:2000
  • 卷号:6
  • 期号:12
  • 页码:1165-1184
  • 出版社:Graz University of Technology and Know-Center
  • 摘要:

    The investigation on Boolean operations on the stop conditions of derivation modes for cooperating distributed grammar systems is continued by considering the logical negation of such conditions. The focus is on the negation of the t-mode of derivation, where such non-t-components may stop rewriting only if they still have a production applicable to the current sentential form. In many cases, hybrid cooperating distributed grammar systems with non-t-components turn out to give new characterizations of the class of programmed context-free languages or recurrent programmed context-free languages, where the latter class coincides with the biologically motivated family of languages generated by ET0L systems with random context. Thus, the results presented in this paper can shed new light on some longstanding open problems in the theory of regulated rewriting.

Loading...
联系我们|关于我们|网站声明
国家哲学社会科学文献中心版权所有