2
是否有已知可以真正通过PAC学习的正式语言族？
我具体指的是允许任意长字符串的语言族-而不是n位或决策列表上的并列或{0,1} ^ n中包含的任何其他“简单”语言。 我要问的是“自动理论”的常规语言，而不是“逻辑理论”的常规语言：诸如分段可测试语言，起始高度为零的语言，本地可测试语言之类的东西。相关的复杂度参数n是最小接受DFA的大小。因此，简而言之：是否有一个有趣的n-state DFA系列，已知可以通过PAC进行有效学习？