이대근
가입: 2012년 10월 26일 올린 글: 5
|
올려짐: 2012년12월21일 23:26 주제: 프로젝트 3번 check_cmd 질문입니다. |
|
|
조교님께서 올려주신 테스트셋 중 의문 사항이 있습니다.
코드: |
(*분석은 유한시간이어야함, true*)
x has read ;
t has 101;
y has x+t;
lp: say y;
s has 1;
y has y+s;
goto lp on y;
x has z+w;
say x
|
아래에서 두 번째 줄에 "x has z+w;" 은 비록 무한 루프에 빠지는 바람에 실행되지 않지만
똑똑한 실행기라면 컴파일 시간에 에러를 잡아내어 false를 출력해야하지 않을까요.
|
|