使用Myhill-Nerode风格的确定性定时自动机的主动学习
摘要：通过成员和等价查询，我们提出了一种学习确定性时态自动机（DTA）的算法。我们的算法是L*算法的一个扩展，具有可识别的时态语言（由DTA可识别）的Myhill-Nerode风格特征描述。我们首先用Nerode风格的等价关系来描述可识别的时态语言。利用它，我们提供了一个算法，一个聪明的教师可以回答符号成员查询，除了成员和等价查询。通过符号成员查询，可以询问某个时间段内一组定时单词的成员关系。我们证明，对于任何可识别的时态语言，我们的学习算法都会返回一个识别它的DTA。我们展示了如何用有限数量的成员查询来回答符号成员查询。我们还证明，我们的学习算法在有聪明教师的情况下需要多项式数量的查询，而在普通教师的情况下需要指数数量的查询。我们将我们的算法应用于各种基准测试，并通过普通教师证实其有效性。
作者：Masaki Waga
论文ID：2305.17742
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-05-30