Чи існують сім'ї формальних мов, які, як відомо, справді засвоєні PAC?

9

Я конкретно маю на увазі сімейства мов, які допускають довільно довгі рядки, а не сполучники над n бітами або списками рішень або будь-якою іншою "простою" мовою, що міститься в {0,1} ^ n.

Я запитую про "автоматично-теоретичні" регулярні мови на відміну від "логіко-теоретичних": щось на зразок кусково тестуваних мов, мови початку-висота-нуль, мови, що перевіряються локально, подібне. Відповідним параметром складності n є розмір мінімального приймаючого DFA. Отже, стисло кажучи: чи існує цікава сім'я DFA n-state, яка, як відомо, ефективно вивчає PAC?

automata-theory machine-learning lg.learning

— Ар'є
джерело

1

Ви подивилися на відповідні питання: cstheory.stackexchange.com/questions/1401/… та cstheory.stackexchange.com/questions/153/… , а також цю відповідь

— Суреш Венкат

1

це питання також може бути актуальним: cstheory.stackexchange.com/questions/1854

— Лев Рейзін

4

Існує нещодавній результат щодо поліноміального pac-вивченості напівлінійних множин на LICS 2010: Parikh Зображення регулярних мов: Складність та застосування . Я думаю, це не те, що ви шукаєте.

Ви також повинні ознайомитися з паперами Кларка і Толларда: засвоєння PAC імовірнісних детермінованих автоматів кінцевого стану

— Сильвен Пейроннет
джерело

2

Правильно, я знайомий з паперами Кларка та Толларда, - але вони роблять припущення щодо розповсюдження, так що це неправда PAC ...

— Aryeh

1

Цей документ дає хороший натяк на результат PAC-навчання для мовних фрагментів.

Робота Кларка та Толларда була вдосконалена компанією Castro & Gavalda таким чином, щоб він міг відповідати тому, що ви шукаєте: Назустріч здійсненному PAC-імовірнісному детермінованому кінцевому автоматизованому автомати

І ця робота є гарною відповіддю на початкове запитання: Навчання ідеалам переміщення . Один з авторів, ймовірно, буде тією ж людиною, яка раніше задавала питання тут, але я знайшов цю сторінку, працюючи над цією проблемою і щойно знайшов цей документ: це може допомогти іншим мати цю посилання.

— користувач14249
джерело

3

Я здогадуюсь, що @Aryeh знає щонайменше два ці документи :)

— Лев Рейзін

Дійсно, я смутно згадую співавторство №1 та №3 ... Жодне з них не дає позитивних результатів PAC типу, про який я запитував. У №1 нам потрібна маржа, яка залежить від розподілу. У №3 ми даємо сильні негативні результати.

— Aryeh