优化LTS模拟算法（技术报告）
摘要：使用最快的算法计算Kripke结构上的最大模拟前序与标签转换系统（LTS）的算法相比较，我们可以看到与LTS的字母表大小成正比的明显的时间和空间复杂度增加。在本文中，我们提出了可以抑制这种复杂度增加的优化方法，并可能将LTS的大字母表转换为优势。我们的实验结果显示了显著的加速和内存节省。此外，优化后的算法使得可以改进计算树自动机上模拟的程序的渐近复杂度，这些程序基于最近提出的基于计算从树自动机派生的特定LTS上的模拟的算法。
作者：Luk''av{s} Hol''ik and Jiv{r}''i v{S}im''av{c}ek
论文ID：2307.04235
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-07-11