斯文·舍韦;托马斯·瓦尔盖塞 广义Büchi自动机的确定和互补的紧界。 （英语） 兹比尔1374.68265 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度Thiruvananthapuram，2012年亚洲电视协会第十届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561，42-56（2012）。 摘要：广义Büchi自动机是具有多个接受集的Büchi自动机。它们形成了一类自动机，这类自动机自然会出现，例如，在从LTL到\（\omega \）-自动机的转换中。本文将现有的Büchi自动机判定技术推广到广义Büchi自动机，并证明了我们的判定是最优的。我们展示了如何将我们的最佳测定技术用作互补的基础，并确定由此产生的互补是紧密的。此外，我们还展示了如何将普通Büchi自动机的最佳确定和互补技术联系起来。关于整个系列，请参见[Zbl 1251.68006号]. 引用于4文件 MSC公司： 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{S.Schewe}和\textit{T.Varghese}，莱克特。注释计算。科学。7561，42-56（2012；Zbl 1374.68265） 全文： 内政部