SW wykład 3 - Slajd14: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 3: | Linia 3: | ||
Powyżej pokazaliśmy, w jakim sensie podane semantyki (operacyjną i | Powyżej pokazaliśmy, w jakim sensie podane semantyki (operacyjną i | ||
naturalną) dla instrukcji języka TINY można uznać za równoważne. | naturalną) dla instrukcji języka TINY można uznać za równoważne. Jednak z | ||
drugiej | drugiej strony, są one oczywiście różne. Najkrócej jak można: | ||
semantyka naturalna pomija wiele szczegółowych informacji o procesie | semantyka naturalna pomija wiele szczegółowych informacji o procesie | ||
obliczenia instrukcji, które podaje semantyka operacyjna małych | obliczenia instrukcji, które podaje semantyka operacyjna małych | ||
kroków. | kroków. Przede wszystkim semantyka naturalna nie uwzględnia własności | ||
zakleszczania i pętlenia się obliczeń. Te właśnie różnice chcemy teraz | zakleszczania i pętlenia się obliczeń. Te właśnie różnice chcemy teraz | ||
podkreślić. | podkreślić. | ||
Aktualna wersja na dzień 11:19, 29 wrz 2006
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ść
Powyżej pokazaliśmy, w jakim sensie podane semantyki (operacyjną i naturalną) dla instrukcji języka TINY można uznać za równoważne. Jednak z drugiej strony, są one oczywiście różne. Najkrócej jak można: semantyka naturalna pomija wiele szczegółowych informacji o procesie obliczenia instrukcji, które podaje semantyka operacyjna małych kroków. Przede wszystkim semantyka naturalna nie uwzględnia własności zakleszczania i pętlenia się obliczeń. Te właśnie różnice chcemy teraz podkreślić.
