关于非确定性 Petri 网 $\omega$-语言的拓扑复杂度
计算机科学中的逻辑
2014-01-28 v1 计算复杂性
形式语言与自动机理论
摘要
我们证明了存在由具有 B"uchi 接受条件的非确定性 Petri 网（或等价地由 B"uchi 盲计数器自动机）接受的 -完全无限字语言。这表明非确定性 Petri 网接受的 -语言在拓扑上比确定性 Petri 网接受的语言更为复杂。
引用
@article{arxiv.1401.6835,
title = {On the Topological Complexity of omega-Languages of Non-Deterministic Petri Nets},
author = {Olivier Finkel and Michał Skrzypczak},
journal= {arXiv preprint arXiv:1401.6835},
year = {2014}
}