桑卡尔·古鲁穆蒂;奥尔纳·库普弗曼;法比奥·萨蒙齐;莫舍·瓦尔迪。 关于补不确定Büchi自动机。 （英语） 兹比尔1179.68070 Geist，Daniel（编辑）等人，《正确的硬件设计和验证方法》。第12届IFIP工作组10。5高级研究工作会议，CHARME 2003，意大利拉奎拉，2003年10月21日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20363-X/pbk）。莱克特。注释计算。科学。2860, 96-110 (2003). 摘要：针对不确定Büchi词自动机的互补问题，提出了几种优化算法。由于问题的复杂性和互补所涉及的指数放大，这些算法从未在实践中使用过，尽管有效的互补构造将具有重要的实用价值。最近，Kupferman和Vardi描述了一种通过弱交替自动机的互补算法，该算法似乎比以前的算法更简单。我们将他们的算法与已知的和新的最小化技术相结合。我们的方法基于对中间弱交替自动机和最终非确定性自动机的优化，并涉及降秩和降高技术，以及直接公平的模拟。关于整个系列，请参见[Zbl 1028.00029号]。 引用于9文件 MSC公司： 65年第68季度 形式语言与自动机 PDF格式BibTeX公司 XML格式引用 \textit{S.Gurumurthy}等人，Lect。注释计算。科学。286096-110（2003年；Zbl 1179.68070） 全文： 内政部