Cum demonstrati corectitudinea parserului, in sensul ca limbajul dumneavoastra vine cu o semantica?
From HaskellWiki
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 | ||
Current revision
"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...
