Personal tools

Cum demonstrati corectitudinea parserului, in sensul ca limbajul dumneavoastra vine cu o semantica?

From HaskellWiki

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

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


"Cum demonstrati corectitudinea parserului, in sensul ca limbajul dumneavoastra vine cu o semantica?" - am citat o intrebare asa cum am primit-o

Intrebarea este neinspirat formulata deoarece Parserele sunt Analizoare sintactice care structureaza intrarea si produc o valoare structurata atasata ei (de obicei un arbore).

Corectitudinea privind o Semantica se poate demonstra prin demonstrarea comutativitatii unei diagrame care pune in relatie acea semantica cu o alta cunoscuta. Deci este o problema de verificare a comutativitatii unei diagrame care are in coltul din stanga sus o multime de reprezentari ale programelor - multime definita prin inductie structurala.

De fapt se demonstreaza ca pe o anumita multime definita prin inductie structurala cele doua semnatici dau rezultate echivalente.


Bibliografie: In dezvoltare...