SafraTransform Safra算法的实现，将Beuchi自动机转换为Rabin自动机

萨夫拉变换Safra算法的实现，在Java中将Beuchi自动机转换为Rabin自动机。此实现使用标准5步方法的单次遍历版本，如MonopassTransformer.java中所示。此外，我们大量使用位集来提高性能，为大型自动机提供合理的效率。我们建议从包含算法入口点的Main.java开始。该系统以明显的格式接收自动机，并生成Rabin自动机的内存表示。