2
Чи існують сім'ї формальних мов, які, як відомо, справді засвоєні PAC?
Я конкретно маю на увазі сімейства мов, які допускають довільно довгі рядки, а не сполучники над n бітами або списками рішень або будь-якою іншою "простою" мовою, що міститься в {0,1} ^ n. Я запитую про "автоматично-теоретичні" регулярні мови на відміну від "логіко-теоретичних": щось на зразок кусково тестуваних мов, мови початку-висота-нуль, …