掘金的大佬们 怎么解释这张图？a, b, c之间的关系 a图能看懂，一个DFA状态转移图，b图和c图是什么意思呢 图片来源：The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning
论文：
Isberner, Malte, Falk Howar, and Bernhard Steffen. "The TTT algorithm: a redundancy-free approach to active automata learning." Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings 5. Springer International Publishing, 2014.
摘要：在本文中，我们提出了一种新的主动自动机学习算法TTT，该算法是在最小充分教师（MAT）框架中制定的。TTT的显著特征是其观测的无冗余组织，可以利用其实现最佳（线性）空间复杂性。这要归功于对反例的彻底分析，只提取和存储基本的提炼信息。因此，TTT特别适用于运行时验证环境中的应用，其中反例（例如，通过监控获得）可能过长：由于测试序列的执行时间通常随着其长度而增长，否则将导致严重的性能下降。我们通过一些示例说明了TTT无冗余方法的影响。
