带测试的保护式克里尼代数：自动机学习
摘要：带测试的保护柯林代数（GKAT）是通过用谓词保护型变种替换KAT的并集和迭代操作而产生的Kleene代数与测试（KAT）的片段。GKAT比KAT更高效可判定，并且具有足够的表达能力以模拟简单的命令式程序，因此在例如网络验证等应用中具有吸引力。在本文中，我们进一步探讨了GKAT的自动机理论，并提出了GL*，一种通过观察黑盒行为来学习其GKAT自动机表示的算法。复杂度分析表明，与Angluin现有的L*算法相比，使用GL*学习GKAT程序的表示更为高效。我们在OCaml中实现了GL*和L*，并在示例程序上比较它们的性能。
作者：Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
论文ID：2204.14153
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-22