通过全自动机技术获得$\omega$-自动机补集的下界
计算机科学中的逻辑
2015-07-01 v3
摘要
在本文中，我们首先引入了一种针对自动机变换状态复杂度的下界技术。具体而言，我们建议在下界分析中首先考虑全自动机类，随后通过字母表替换减小大字母表的规模。然后，我们将该技术应用于非确定性-自动机的补集构造，并获得若干下界结果。特别是，我们证明了 B"uchi 补集构造的下界，该下界也适用于非确定性-自动机的几乎每种补集或确定化变换；同时证明了广义 B"uchi 自动机补集构造的最优下界，该下界同样适用于 Streett 自动机。
引用
@article{arxiv.0802.1226,
title = {Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique},
author = {Qiqi Yan},
journal= {arXiv preprint arXiv:0802.1226},
year = {2015}
}