本当にPACで学習できることが知られている正式な言語のファミリはありますか？

具体的には、任意に長い文字列を許可する言語ファミリを意味します。nビット以上の結合、決定リスト、{0,1} ^ nに含まれるその他の「単純な」言語ではありません。

「論理理論」のものとは対照的な「自動理論」通常言語について質問しています。区分的にテスト可能な言語、開始高さゼロの言語、ローカルでテスト可能な言語などのようなものです。関連する複雑性パラメータnは、最小許容DFAのサイズです。簡単に言えば、PACを効率的に学習できることが知られているnステートDFAの興味深いファミリはありますか？

LICS 2010：Parikh Images of Regular Languages：Complexity and Applicationsに、セミリニアセットの多項式pac-learnabilityに関する最近の結果があります。これはあなたが探しているものではないと思います。

また、クラークとソラードの論文もご覧ください。確率論的決定論的有限状態オートマトンのPAC学習可能性

このペーパーは、区分的言語のPAC学習結果についての良いヒントを提供します：線形的に分離可能な言語の学習

クラーク＆ソラードの作品は、カストロ＆ガヴァルダによって、あなたが探しているものに合うように洗練されました：実現可能なPAC学習の確率論的決定論的有限オートマトンに向けて

そして、この作品は最初の質問の良い答えです：シャッフルの理想の学習可能性について。著者の1人は、以前にここで質問した人と同じ人である可能性が高いですが、私はその問題に取り組んでこのページを見つけたばかりで、このペーパーを見つけました。