SW wykład 3 - Slajd11
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.
