게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

프로젝트 3에 관한 지엽적인 질문입니다.

 
글 쓰기   답변 달기     게시판 인덱스 -> 4190.210 Principles of Programming (Fall 2014)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
이산하



가입: 2014년 10월 24일
올린 글: 7

올리기올려짐: 2014년12월21일 20:46    주제: 프로젝트 3에 관한 지엽적인 질문입니다. 인용과 함께 답변

Repeat 0 (오류)의 경우 true로 봐야 할까요 false로 봐야 할까요?
일단 위험해서 false로 처리하긴 했습니다.

그리고 12년 게시판에 올라와 있던 프로젝트 3 테스트케이스를 돌려보던 중 이상한 부분이 있어 질문드립니다.
https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=3594 에서

[code]
(* pruning example, true*)
zx has read ;
x2 has zx ;
goto x6 on x2 ;
z has 2 ; (* attention : z *)
x4 has z ;
x1 has x4 ;
x5 has 1 ;
goto x7 on x5 ;
x6: y has 1 ;
goto l on x2 ;
x7: x1 has x1 ;
y has z ;
l: y1 has 1 ;
y has y+y1 ;
say y
[/code]

이 테스트 케이스에서 read zx 가 0일 경우 x7: 태그 바로 뒤 코드에서
정의되지 않은 x1을 사용했으므로 false로 처리해야 하는 것 아닌가요?
위로
사용자 정보 보기 비밀 메시지 보내기
jaewooklee



가입: 2014년 10월 3일
올린 글: 23

올리기올려짐: 2014년12월21일 22:41    주제: 인용과 함께 답변

x2=zx=read가 0이 아닌 경우에는
goto x6 on x2이 taken되지만,
goto l on x2도 무조건 taken 되기 때문에 x7: x1 has x1을 수행할 기회가 없고요.

x2가 0인 경우에는
goto x6 on x2가 pass이므로,
x1 has x4를 통해서 x1이 초기화되기때문에 문제가 없습니다.

저는 최대한 안전하게 만들었기 때문에 이건 false로 나오는데, 실은 true임을 알아내기가 대단히 어려운 케이스인 것 같군요...
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4190.210 Principles of Programming (Fall 2014) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay