SW wykład 3 - Slajd18
Semantyka naturalna Semantyka naturalna Tiny Sens definicji Sens definicji, c.d. Dowody Indukcja po strukturze Własności Równoważność semantyczna Kongruencje Semantyka operacyjna a naturalna Semantyka operacyjna a naturalna, c.d. Semantyka operacyjna a naturalna, c.d. Semantyka "denotacyjna" Semantyka operacyjna a naturalna, c.d. Równoważność operacyjna Niedeterminizm Kilka równoważności Równoległość
Rozważmy jeszcze możliwość dodania do naszych instrukcji konstrukcji złożenia równoległego. Stosunkowo łatwo można rozszerzyć semantykę operacyjną, definiując obliczenia dla złożenia równoległego instrukcji jako niedeterministyczny przeplot obliczeń składowych.
(Pomijamy tu dyskusję, czy takie modelowanie współbieżności jest dostatecznie adekwatne, napomknąwszy tylko, że bliższe są nam modele, gdzie liniowe obliczenia zastępowane są przez częściowo uporządkowane ślady w sensie Mazurkiewicza.)
Takie rozszerzenie nie jest jednak możliwe dla semantyki naturalnej. Po prostu: oczekiwana semantyka złożenia równoległego instrukcji wiąże się z przebiegiem obliczeń składowych tego złożenia, a semantyka naturalna właśnie abstrahuje od przebiegu obliczeń, koncentrując się jedynie na ich końcowych wynikach.
Konkluzja z podkreślania podobieństw i różnic między semantyką operacyjną i semantyką naturalną może być tylko jedna: nie istnieje jedna najlepsza metoda definiowania semantyki języków programowania; nie można też wyznaczyć jednoznacznie zakresu informacji o programach, których dostarczać powinna semantyka języka. Zawsze określać to trzeba względem konkretnych potrzeb i celów, jakim dana definicja ma służyć.
