Gerçekten PAC öğrenilebilir olduğu bilinen resmi dil aileleri var mı?

Özellikle, n bit veya karar listeleri veya {0,1} ^ n'de bulunan diğer herhangi bir "basit" dil üzerinde bağlaçlar değil, keyfi olarak uzun dizeleri kabul eden dil ailelerini kastediyorum.

"Mantık-teorik" olanların aksine "otomata-teorik" normal dilleri soruyorum: parçalı test edilebilir diller, başlangıç-yüksekliği-sıfır dilleri, yerel olarak test edilebilir diller, bu tür şeyler. İlgili karmaşıklık parametresi n, minimum kabul eden DFA'nın boyutudur. Kısacası, PAC öğrenilebilir olduğu bilinen ilginç bir n-devlet DFA ailesi var mı?

LICS 2010: Normal Dillerin Parikh Görüntüleri: Karmaşıklık ve Uygulamalar'daki yarı doğrusal kümelerin polinom pac-öğrenilebilirliği konusunda yakın zamanda bir sonuç elde edilmiştir . Sanırım aradığınız bu değil.

Clark ve Thollard'ın makalesine de bir göz atmalısınız: Olasılıksal Deterministik Sonlu Durum Otomatlarının PAC ile öğrenilebilirliği

Bu makale, parçalı diller için PAC öğrenme sonucu hakkında iyi bir ipucu vermektedir: Doğrusal Olarak Ayrılabilir Dilleri Öğrenme

Clark & ​​Thollard'ın çalışması Castro & Gavalda tarafından aradığınıza uyacak şekilde rafine edildi: Mümkün olan PAC-öğrenme olasılıklı deterministik sonlu otomata doğru

Ve bu çalışma ilk sorunun iyi bir cevabıdır: Karışık İdeallerin Öğrenilebilirliği Üzerine . Yazarlardan birinin muhtemelen burada daha önce soruyu soran kişi olması muhtemeldir, ancak bu sayfayı bu sorun üzerinde çalışarak buldum ve şu makaleyi buldum: diğerlerinin bu referansı almasına yardımcı olabilir.