Personal tools

Limbajul PI

From HaskellWiki

Revision as of 16:18, 4 June 2010 by Ha$kell (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, 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.