Personal tools

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

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
m
 
 
Line 1: Line 1:
  +
[[Category:Ro]]
  +
 
"Cum demonstrati corectitudinea parserului, in sensul ca limbajul dumneavoastra vine cu o semantica?" - am citat o intrebare asa cum am primit-o
 
"Cum demonstrati corectitudinea parserului, in sensul ca limbajul dumneavoastra vine cu o semantica?" - am citat o intrebare asa cum am primit-o
   

Latest revision as of 15:48, 4 June 2010


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