Pytania i odpowiedzi dotyczące zadania domowego I (semantyka operacyjna)
  1. Czy zamiast semantyki naturalnej można podać semantykę operacyjną małych kroków?

    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.

  2. Czy zbiorem konfiguracji końcowych musi być State?

    Definicja zbioru konfiguracji i wskazanie konfiguracji końcowych to część definicji semantyki --- tu zatem to też część zadania.

  3. Czy w pętli for jedyny mechanizm doprowadzający do wielokrotnego wykonania ciała pętli to step...by...check?

    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.

  4. Czy w języku programowania, którego semantyki opisanie jest problemem pracy domowej, zmienne sterujące pętli mają pozostawać widoczne po za ciałem tej 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.