Limbajul PI

From HaskellWiki
Jump to navigation Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.


"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.