加权自动机具有紧凑性且可主动学习
摘要：加权自动机在二元域上比非确定有穷状态自动机紧凑得多。为了证明这一点，我们将自动机理论和通信复杂性的思想结合起来。然而，在Angluin的最小充分教师模型中，加权自动机也可以以多项式大小的查询数量高效地学习。我们还提供了一种基于线性代数推广的Angluin-Schapire算法的加权自动机学习算法。总的来说，这产生了一个令人惊讶的结果：尽管加权自动机可以非常紧凑，但它们仍然可以高效地学习。
作者：Artem Kaznatcheev and Prakash Panangaden
论文ID：2011.10498
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-04-26