AALpy:使用Python编写的主动自动机学习库 源码

AALpy-一个主动的自动机学习库 AALpy是用纯Python编写的轻量级主动自动机学习库。 通过实现一种方法和几行配置,您可以开始学习自动机。 无论您使用常规语言还是想学习React系统的模型,AALpy都支持各种建模形式主义,包括确定性,非确定性和随机自动机。 您可以使用它来学习确定性系统的确定性有限自动机, Moore机器和Mealy机器。 如果您要学习的系统显示不确定性或随机行为,则AALpy允许您学习可观察的不确定性有限状态机,马尔可夫决策过程或随机换能器。 AALpy通过提供大量的对等预言,实施各种一致性测试策略来实现高效学习。 学习主要基于Angluin的,AALpy支持Angluin的,包括高效的反例处理在内的一系列优化选择。 最后,对学习抽象的不确定性Mealy机器的支持可以有效地学习具有大输入空间的系统模型。 如果您错过了AALpy中的一项特定功能,则可以轻松地