Odpowiedzi na niektóre pytania dotyczące zadania domowego z semantyki operacyjnej:
Jaka jest treść zadania?
Odp. Taka.
-
Jaki powinien być wynik działania programu:
begin var x=1; catch true in skip; x := 2 end
?Odp. Treść zadania faktycznie jest niejasna co do tego, czy po wykonaniu instrukcji
skip
warunek w instrukcjicatch
powinien być sprawdzony czy nie. W rozwiązaniu można wybrać dowolną z tych dwóch możliwości, ale warto zaznaczyć, którą z nich się wybrało.