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