戴安·塔巴科夫;莫舍·瓦尔迪。 经典自动机构造的实验评估。 （英文） 兹比尔1143.68443 Sutcliffe，Geoff（编辑）等人，《编程逻辑、人工智能和推理》。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-30553-8/pbk）。计算机科学课堂讲稿3835396-411（2005）。 摘要：有几种算法可以从给定的NFA生成规范的DFA。虽然这些算法的理论复杂性是已知的，但它们之间还没有进行系统的经验比较。在这项工作中，我们提出了一个概率框架来测试自动机理论算法的性能。我们对Hopcroft算法和Brzozowski算法进行了直接的实验比较。我们表明，虽然Hopcroft算法具有更好的整体性能，但Brzozowski算法对“高密度”NFA的性能更好。我们还考虑了传统上通过子集构造显式解决的普适性问题。我们提出了一种编码方法，可以通过模型检查器象征性地解决这个问题。我们将该方法的性能与标准显式算法进行了比较，并表明显式方法的性能明显更好。关于整个系列，请参见[兹伯利1134.68011]. 引用于23文件 MSC公司： 65年第68季度 形式语言和自动机 60年第68季度 规范和验证（程序逻辑、模型检查等） 68周05 非数值算法 软件：FoC公司;NuSMV公司 PDF格式BibTeX公司 XML格式引用 \textit{D.Tabakov}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。3835396--411（2005年；Zbl 1143.68443） 全文： 内政部