ALMA：使用模2乘法自动机的自动机学习者
摘要：ALMA：基于Java的工具，可以学习接受有限或无限字的任何自动机，具有可实施的成员查询功能。用户可以输入自己的成员查询函数，或使用预定义的模2多重性自动机和非确定性布尔奇自动机的成员查询函数。在学习过程中，ALMA可以在每个等价查询之后输出观察表的状态，并在终止时输出学习到的模2多重性自动机的维度、转移矩阵和最终向量。用户可以通过对学习到的自动机进行成员查询来测试一个单词是否被接受。ALMA遵循Beimel等人的多项式学习算法（以多项式自动机表示的学习函数。J. ACM 47(3), 2000），该算法使用成员查询和等价查询，并使用模2多重性自动机表示假设。ALMA还实现了一种Angluin等人的具有多项式可预测性的强非模糊布尔奇自动机的多项式学习算法（具有成员查询的强非模糊布尔奇自动机。CSL 2020），以及Sakarovitch的模2多重性自动机的最小化算法（自动机理论的要素。2009年）。
作者：Nevin George
论文ID：2301.04077
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-05-30