Observations on determinization of Büchi automata

Observations on determinization of Büchi automata
复制标题

Büchi 自动机确定的观察

DOI：
10.1016/j.tcs.2006.07.026
复制
发表时间：
2005
期刊：
Theor. Comput. Sci.
影响因子：
--
通讯作者：
N. Wallmeier
N. Wallmeier
中科院分区：
--
文献类型：
--
作者：
C. Althoff;W. Thomas;N. Wallmeier

文献摘要

被引文献

相似文献

Safra和Muller-Schupp的Büchi自动机的两个确定过程进行了比较，基于一个名为OmegaDet的程序中的实现。
The two determinization procedures of Safra and Muller–Schupp for Büchi automata are compared, based on an implementation in a program called OmegaDet.