非确定有限状态树自动机的随机生成
摘要：在（非确定性的）有限状态树自动机算法中，通常会使用随机的树自动机进行测试，其中所有的内部转换具有相等的概率。通过这种方式获取的运行时间结果通常过于乐观，因为大多数这样产生的随机树自动机都是平凡的，即等价的最小确定性树自动机的状态数量极小。这表明，只有在过渡概率的狭窄范围内才能获得非平凡的随机树自动机。此外，通过分析分析，可以得到一个公式来近似计算产生最复杂随机树自动机的过渡概率，这应该在实验中使用。
作者：Thomas Hanneforth (Universit"at Potsdam), Andreas Maletti (Universit"at Stuttgart), Daniel Quernheim (Universit"at Stuttgart)
论文ID：1311.5568
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-11-25