2
Esistono famiglie di lingue formali conosciute come realmente apprendibili dal PAC?
Intendo specificamente famiglie linguistiche che ammettono stringhe arbitrariamente lunghe, non congiunzioni su n bit o elenchi di decisioni o qualsiasi altro linguaggio "semplice" contenuto in {0,1} ^ n. Sto chiedendo dei linguaggi regolari "teorici degli automi" rispetto a quelli "teorici della logica": qualcosa come i linguaggi testabili a tratti, i …