SW wykład 3 - Slajd9: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| (Nie pokazano 1 wersji utworzonej przez jednego użytkownika) | |||
| Linia 3: | Linia 3: | ||
Ważną klasę stwierdzeń o właśnie wprowadzonej naturalnej równoważności | Ważną klasę stwierdzeń o właśnie wprowadzonej naturalnej równoważności | ||
stanowią fakty | stanowią fakty mówiące, że konstrukcje językowe zachowują tę | ||
równoważność. Dla każdej konstrukcji językowej budującej instrukcje z | równoważność. Dla każdej konstrukcji językowej budującej instrukcje z | ||
ich bezpośrednich składowych, jeśli bezpośrednie składowe są wzajemnie | ich bezpośrednich składowych, jeśli bezpośrednie składowe są wzajemnie | ||
równoważne, | równoważne, całe instrukcje z nich zbudowane są wzajemnie | ||
równoważne (dowody pomijamy, ale zachęcamy do ich systematycznego | równoważne (dowody pomijamy, ale zachęcamy do ich systematycznego | ||
przeprowadzenia). | przeprowadzenia). | ||
| Linia 12: | Linia 12: | ||
Jak wspominaliśmy wyżej, semantyka wyznacza też równoważność dla innych | Jak wspominaliśmy wyżej, semantyka wyznacza też równoważność dla innych | ||
kategorii składniowych języka TINY. Na przykład, dwa wyrażenia | kategorii składniowych języka TINY. Na przykład, dwa wyrażenia | ||
(arytmetyczne, logiczne) są równoważne, gdy mają tę samą | (arytmetyczne, logiczne) są równoważne, gdy mają tę samą semantykę. | ||
Pozwala to na sformułowanie nieco bardziej ogólnych stwierdzeń o | Pozwala to na sformułowanie nieco bardziej ogólnych stwierdzeń o | ||
własnościach kongruencji dla równoważności instrukcji, które | własnościach kongruencji dla równoważności instrukcji, które | ||
Aktualna wersja na dzień 11:12, 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ść
Ważną klasę stwierdzeń o właśnie wprowadzonej naturalnej równoważności stanowią fakty mówiące, że konstrukcje językowe zachowują tę równoważność. Dla każdej konstrukcji językowej budującej instrukcje z ich bezpośrednich składowych, jeśli bezpośrednie składowe są wzajemnie równoważne, całe instrukcje z nich zbudowane są wzajemnie równoważne (dowody pomijamy, ale zachęcamy do ich systematycznego przeprowadzenia).
Jak wspominaliśmy wyżej, semantyka wyznacza też równoważność dla innych kategorii składniowych języka TINY. Na przykład, dwa wyrażenia (arytmetyczne, logiczne) są równoważne, gdy mają tę samą semantykę. Pozwala to na sformułowanie nieco bardziej ogólnych stwierdzeń o własnościach kongruencji dla równoważności instrukcji, które uwzględniają także możliwość zastąpienia wyrażeń logicznych w instrukcjach warunkowych i pętlach przez wyrażenia im równoważne --- dokładne sformułowanie i dowody tych własności pozostawiamy Państwu.
