Pytania i odpowiedzi dotyczące zadania domowego I (semantyka operacyjna)
Polecenie w treści zadania mówi o podaniu semantyki naturalnej. Semantyka operacyjna małych kroków nie będzie zatem poprawnym rozwiązaniem zadania; jeśli jednak ktoś nie potrafiłby podać semantyki naturalnej (dużych kroków), a poda w pełni poprawną semantykę małych kroków, to za takie w pełni poprawne rozwiązanie otrzyma 8 pkt.
Definicja zbioru konfiguracji i wskazanie konfiguracji końcowych to część definicji semantyki --- tu zatem to też część zadania.
Zgodnie z treścią zadania "Wykonanie pętli ... polega na ... i wykonaniu ciała pętli ...". Nie ma tu mowy o wielokrotnym wykonywaniu ciała pętli. Ten efekt rzeczywiście można uzyskać dzięki instrukcji step w ciele pętli.
Odpowiedź wynika z pełnego opisu wykonania instrukcji for, gdzie nie ma mowy o lokalnej "re-deklaracji" zmiennej x, czy o jakiejkolwiek zmianie jej widoczności --- a także z przykładu, gdzie jest mowa o wartościach zmiennych x i y w stanie końcowym.