文件名称：SafraTransform:Safra 算法的实现，将 Beuchi 自动机转换为 Rabin 自动机
文件大小：13KB
文件格式：ZIP
更新时间：2024-07-26 23:56:31
Java
萨夫拉变换 Safra 算法的实现，在 Java 中将 Beuchi 自动机转换为 Rabin 自动机。 此实现使用标准 5 步方法的单次遍历版本，如 MonopassTransformer.java 中所示。 此外，我们大量使用位集来提高性能，为大型自动机提供合理的效率。 我们建议从包含算法入口点的 Main.java 开始。 该系统以明显的格式接收自动机，并生成 Rabin 自动机的内存表示。
【文件预览】：
SafraTransform-master
----src()
--------edu()
----README.md(550B)
----.gitignore(176B)
----Safras.iml(423B)