小牛

小牛:分类自动机学习框架。自动机学习是一种已经成功应用于验证的技术,自动机类型根据应用领域而变化。自动机学习算法适应日益复杂的自动机必须从头开始发展,因为没有抽象理论提供指导方针。这使得很难设计这样的算法,并且掩盖了它们的正确性证明。我们介绍了一个简单的范畴理论形式主义,提供了一个适当的抽象基础研究自动机学习。此外,我们的框架之间建立正式的学习,测试和最小化算法之间的关系。我们用两个例子来说明它的一般性:确定性和加权自动机。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。


ZBMaCT中的参考文献(1篇文章中提到)

显示1的结果1。
按年份排序(引文

  1. Fisman,Dana:推断规则语言和(Ω)-语言(2018)