关于佩特里网的上/下闭包
形式语言与自动机理论
2018-04-09 v2 计算机科学中的逻辑
摘要
我们研究表示并近似以可覆盖性为接受条件的佩特里网语言的下闭包与上闭包的计算有限状态自动机(FSA)的大小与复杂性。我们展示了如何在双指数时间内构造识别佩特里网语言上闭包的FSA，因此其大小至多为双指数。对于下闭包，我们证明极小自动机的大小可以是非原始递归的。在BPP网（佩特里网的一个著名子类）情况下，我们展示可在指数时间内构造接受下/上闭包的FSA。此外，我们考虑检查简单正则语言是否包含于佩特里网/BPP网语言的下/上闭包中的问题。我们展示该问题在佩特里网（相应BPP网）情况下是EXPSPACE完全的（相应NP完全的）。最后，我们展示佩特里网语言是否上/下封闭是可判定的。为此，我们证明可判定给定正则语言是否为佩特里网可覆盖性语言的子集。
引用
@article{arxiv.1701.02927,
title = {On the Upward/Downward Closures of Petri Nets},
author = {Mohamed Faouzi Atig and Roland Meyer and Sebastian Muskalla and Prakash Saivasan},
journal= {arXiv preprint arXiv:1701.02927},
year = {2018}
}
备注
The conference version of this paper has been published in the proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017