2
Czy istnieją rodziny języków formalnych, o których wiadomo, że naprawdę można nauczyć się PAC?
Mam na myśli w szczególności rodziny języków, które dopuszczają dowolnie długie ciągi znaków - a nie koniunkcje na n bitach lub listach decyzyjnych lub jakimkolwiek innym „prostym” języku zawartym w {0,1} ^ n. Pytam o zwykłe języki „teoretyków automatycznych”, a nie teoretyków „logicznych”: coś w rodzaju języków, które można częściowo …