[강인재]

안녕하세요.

과제2 스켈레톤 코드에 있는 example/d3.dd 의 내용이 다음과 같은데,

=== Printing Input Program ===
0: SEQ
1: x := 5;
2: SEQ
3: y := read();
4: SEQ
5: WHILE
while (0 < x) do (
6: SEQ
7: x := (x + -(1));
8: y := (y + 1));
9: goto 7

충분히 시간이 지나면 flow가 9->7->8->5->9-> ... 가 되어 실행이 끝나지 않도록 되는 것 같은데 이렇게 해석되는 것이 맞는지 궁금합니다.

만일 그렇다면 주석으로 나와 있는 메모리 상태
[x |-> -1], [y |-> read + 6]이 잘못된 것 같은데요.

감사합니다.

[김도형]

안녕하세요.

네, 지적해주신 부분이 맞습니다.

수정 중에 누락된 부분이 있었던 것 같습니다.

goto 7 대신

(if ((- 1) < x)
then goto 7
else x := (- 1))

로 바꿔주시면 감사하겠습니다.