文件名称：safra:Safra 的确定算法
文件大小：41KB
文件格式：ZIP
更新时间：2024-07-27 07:11:46
C++
萨夫拉确定 Saftra 确定算法在 omega-automata 上的实现。 建造 只需运行make！ 用法 ./safra input_file [-o output_file] [-c convert_file] 读取 input_file 中的 Buechi 自动机。 在 output_file 中输出相应的 Rabin 自动机。 如果没有提供 output_file，则输出到标准输出。 输出格式是graphviz的点文件格式。 如果提供了convert_file，则输入文件也被转换为点文件格式并写入convert_file。
【文件预览】：
safra-master
----.gitignore(74B)
----README.dox(552B)
----Makefile(441B)
----src()
--------safra.hpp(4KB)
--------automata.cpp(4KB)
--------main.cpp(3KB)
--------automata.hpp(3KB)
--------safra.cpp(10KB)
----pdf()
--------proposal.tex(3KB)
----Doxyfile(100KB)
----README.md(537B)
----BuechiExamples()
--------buechi3.aut(257B)
--------monster3.aut(258B)
--------monster5.aut(392B)
--------buechi2.aut(232B)
--------littlemonster4.aut(350B)
--------monster4.aut(317B)
--------littlemonster5.aut(432B)
--------littlemonster3.aut(283B)
--------buechi1.aut(230B)
--------buechi4.aut(277B)