Difference between revisions of "Limbajul PI"

From HaskellWiki
Jump to navigation Jump to search
m
 
 
Line 7: Line 7:
   
 
Limbajul este decidabil si admite un algoritm de recunoastere care construieste
 
Limbajul este decidabil si admite un algoritm de recunoastere care construieste
un parser adaptiv pentru programul dat.
+
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.
 
Datorita gramaticii infinite pe care o are implementarea directa a unui parser cu YACC pentru aceasta gramatica nu este posibila.

Latest revision as of 16:18, 4 June 2010


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