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