[강규]

1. check_cmd 질문입니다.

x has 1 ;
y has 2 ;
x has x+y ;
goto L on x ;
x has 0 ;
L: z has x-y ;
say z

이 경우에는 goto L on x;가 있고, L: z has x - y;가 있기 때문에 Goto와 Tag의 관계 면에서 올바른 cmd 이며, 나머지 cmd들도 올바르게 구성되어서 check_cmd가 true입니다.

x has 1 ;
y has 2 ;
x has x+y ;
x has 0 ;
L: z has x-y ;
say z

이 경우에는 L: z has x-y ;가 있어서 태그 L은 정의가 되어있는데, goto문이 없습니다. 이 때 check_cmd는 true인가요? false인가요?


----------------------------------------


2. transform 질문입니다.

1) If (Read, Num 1, Num 2)은 valid한 exp인가요?

2) 위 exp가 valid하다면, Read의 값을 모르는데 Num 1과 Num 2중에 어떤 것을 리턴하도록 transform을 작성하면 되나요?

[김윤승]

1. 문제를 읽어보면 goto문이 있어야 한다는 조건이 없으므로 false여야 할 이유가 없습니다.

2.
1) repeat이 음수번 반복되지만 않으면 valid합니다.
2) transform에서도 read를 써야죠.