Valence 系统的有界上下文切换
计算机科学中的逻辑
2018-07-06 v4 形式语言与自动机理论
摘要
我们研究 Valence 系统,即以图幺半群建模的、基于无限状态存储的有限控制程序。我们的贡献是提出了有界上下文切换(BCS)的概念。Valence 系统推广了下推系统、并发下推系统和 Petri 网。在这些设定下,我们的定义保守地推广了现有概念。主要发现是,在有界次数的上下文切换内的可达性问题属于 NP,与存储(图幺半群)无关。我们的证明是纯代数的,因此为思考 BCS 提供了一种新途径。此外,我们展示了一类存储机制,其 BCS 可达性问题属于 P。
引用
@article{arxiv.1803.09703,
title = {Bounded Context Switching for Valence Systems},
author = {Roland Meyer and Sebastian Muskalla and Georg Zetzsche},
journal= {arXiv preprint arXiv:1803.09703},
year = {2018}
}