Semantyka i weryfikacja programów

Odpowiedzi na niektóre pytania dotyczące zadania domowego z semantyki operacyjnej: