带非原子写操作的参数化下推系统
摘要：网络推动系统的主/从参数可达性问题。我们考虑通过只使用非原子读写的全局存储器进行通信的推动系统网络。我们证明了控制状态可达性问题是可判定的。作为结果的一部分，我们提供了对Ehrenfeucht和Rozenberg的定理的构造性扩展，以产生与某些类型的上下文无关文法等价的NFA。最后，我们证明了非参数化版本是不可判定的。
作者：Matthew Hague
论文ID：1109.6264
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2011-09-29