Limbajul PI

From HaskellWiki
Jump to navigation Jump to search


"Limbajul PI" este o expresie pa care am folosit-o pentru a numi limbajul cuvintelor finite formate din exact 10 atomi lexicali (constanti,distincti, numerotati de la 0 la 9), care formeaza programe de lungime n respectan succesiunea primelor n zecimale ale numarului PI.

Limbajul este decidabil si admite un algoritm de recunoastere care construieste un parser adaptabil (chiar adaptiv!) pentru programul dat.

Datorita gramaticii infinite pe care o are implementarea directa a unui parser cu YACC pentru aceasta gramatica nu este posibila.