多项式时间内学习衍生的Ω-树语言的查询
摘要：无限树语言的非平凡类学习存在第一个多项式时间算法。具体来说，我们的算法使用成员和等价查询，在多项式时间内学习由弱正则ω字语言派生的ω树语言类。该方法是将学习派生的ω树语言类的通用多项式时间规约为学习底层的ω字语言类，对于任何由确定性布黑接受器识别的ω字语言类。我们的规约与Maler和Pnueli [1995]关于弱正则ω字语言类的多项式时间学习算法相结合，得出了主要结果。我们还证明，使用对于确定性或非确定性有限字接受器和确定性或非确定性布黑ω字接受器返回无反例子的子集查询，可以在多项式时间内实现返回反例的子集查询。之前声称通过Jayasrirani、Begam和Thomas [2008]的一个关于学习正则ω树的算法是不正确的，正如Angluin [2016]所示。
作者：Dana Angluin, Timos Antonopoulos, Dana Fisman
论文ID：1802.04739
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22