2
มีครอบครัวที่ใช้ภาษาทางการซึ่งเป็นภาษา PAC ที่สามารถเรียนรู้ได้อย่างแท้จริงหรือไม่?
ฉันหมายถึงตระกูลภาษาที่ยอมรับสตริงที่มีความยาวโดยพลการไม่ใช่สันธานร่วมกับบิตหรือรายการการตัดสินใจหรือภาษา "แบบง่าย" อื่น ๆ ที่มีอยู่ใน {0,1} ^ n ฉันกำลังถามเกี่ยวกับภาษาปกติ "ทฤษฎีทางออโตมายา" ซึ่งตรงข้ามกับภาษา "ตรรกะ - ทฤษฎี": บางอย่างเช่นภาษาที่สามารถทดสอบได้ทีละน้อย, ภาษาเริ่มต้นที่มีความสูงเป็นศูนย์, ภาษาที่สามารถทดสอบได้ในท้องถิ่น พารามิเตอร์ความซับซ้อนที่เกี่ยวข้อง n คือขนาดของการรับ DFA ขั้นต่ำ ดังที่กล่าวไว้โดยสังเขป: มีครอบครัวที่น่าสนใจของ n-state DFAs ที่รู้กันดีว่าสามารถเรียนรู้ PAC ได้อย่างมีประสิทธิภาพหรือไม่?