SW wykład 3 - Slajd11: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 3: | Linia 3: | ||
Zacznijmy od implikacji mówiącej, że jeśli w semantyce naturalnej dana | Zacznijmy od implikacji mówiącej, że jeśli w semantyce naturalnej dana | ||
konfiguracja prowadzi do pewnego stanu końcowego to w semantyce | konfiguracja prowadzi do pewnego stanu końcowego, to w semantyce | ||
operacyjnej obliczenie, rozpoczynające się w tej konfiguracji, kończy | operacyjnej obliczenie, rozpoczynające się w tej konfiguracji, kończy | ||
się w tymże stanie końcowym. Dowód przebiega przez indukcję po | się w tymże stanie końcowym. Dowód przebiega przez indukcję po | ||
wyprowadzeniu założenia implikacji. Dowody dla poszczególnych | wyprowadzeniu założenia implikacji. Dowody dla poszczególnych | ||
przypadków (aksjomatów i reguł) szkicujemy powyżej na slajdzie. | przypadków (aksjomatów i reguł) szkicujemy powyżej na slajdzie. | ||
Aktualna wersja na dzień 11:16, 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ść
Zacznijmy od implikacji mówiącej, że jeśli w semantyce naturalnej dana konfiguracja prowadzi do pewnego stanu końcowego, to w semantyce operacyjnej obliczenie, rozpoczynające się w tej konfiguracji, kończy się w tymże stanie końcowym. Dowód przebiega przez indukcję po wyprowadzeniu założenia implikacji. Dowody dla poszczególnych przypadków (aksjomatów i reguł) szkicujemy powyżej na slajdzie.
