SW wykład 2 - Slajd15

<<powrót do strony wykładu

Składnia Składnia konkretna Składnia abstrakcyjna Przyjmowane założenia Przykład wiodący Kategorie składniowe Kategorie składniowe, c.d. Uwagi Indukcja strukturalna Definicje indukcyjne Kategorie semantyczne Wartościowanie zmiennych Semantyka wyrażeń Semantyka wyrażeń logicznych Semantyka instrukcji Prosty fakt Dowód Przezroczystość odwołań Semantyka operacyjna Obliczenia Semantyka operacyjna Tiny Własności Własności, c.d. Warianty definicji

Wbrew tytułowi niniejszego modułu, poprzednio podane definicje semantyki wyrażeń arytmetycznych i logicznych nie są ilustracjami dla operacyjnej metody opisu semantyki (jest to opis bardziej w stylu denotacyjnym, patrz dalszy moduł tych zajęć). A to dlatego, że potraktujemy je tutaj tylko jako definicje pomocnicze, które mogły być zadane w dowolny w zasadzie sposób.

Różne metody definiowania semantyki programów ilustrować będziemy podając kolejno istotnie różne opisy semantyki dla instrukcji naszego przykładowego języka. W opisach tych będziemy odwoływać się do zdefiniowanych wyżej znaczeń wyrażeń arytmetycznych i logicznych, zakładając, że są one już zadane i nie przywiązując wagi do sposobu ich definicji.

Oczywiście, jako dobre ćwiczenie, gorąco polecamy podanie (może po zakończeniu przeglądania tego modułu zajęć) semantyki operacyjnej dla wyrażeń arytmetycznych i logicznych.