R·布隆。；Cimatti，A。；药丸，I。；M.罗维里。；塞姆普林尼，S。 交替自动机的符号实现。 （英语） Zbl 1160.68401号 Ibarra，Oscar H.（编辑）等人，《自动机的实现和应用》。2006年8月21日至23日，第11届国际会议，CIAA 2006，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37213-4/pbk）。计算机科学课堂讲稿4094208-218（2006）。 小结：我们展示了如何使用宫野和林的结构变体将交替的Büechi自动机转换为符号结构。我们避免构建交替自动机的非确定性等价物，从而节省了空间中的指数因子。对于一个弱自动机，宫野和林的方法产生的自动机比需要的要大。我们展示了一种混合方法，如果交替自动机的一部分较弱，则可以生成较小的非确定性自动机。我们进行了彻底的实验分析，并得出结论，符号方法优于显式方法。关于整个系列，请参见[Zbl 1113.68007号]. 引用于8文件 MSC公司： 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，Lect。注释计算。科学。4094208--218（2006年；Zbl 1160.68401） 全文： DOI程序