具有两个传播分散上下文组件的 CD 文法系统刻画上下文有关语言族
形式语言与自动机理论
2017-08-23 v1
摘要
L(PSCG)=L(CS) 问题询问传播分散上下文文法与上下文有关文法是否等价。本文以 CD 文法系统的形式重新表述并回答了该问题。更具体地说，它通过具有传播分散上下文规则的双组件 CD 文法系统刻画了上下文有关语言族。
引用
@article{arxiv.1708.06467,
title = {CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages},
author = {Alexander Meduna and Jakub Martiško},
journal= {arXiv preprint arXiv:1708.06467},
year = {2017}
}
备注
In Proceedings AFL 2017, arXiv:1708.06226