게시판 인덱스

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

프로젝트 3 check_cmd 질문

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



가입: 2013년 9월 12일
올린 글: 8

올리기올려짐: 2013년12월21일 16:29    주제: 프로젝트 3 check_cmd 질문 인용과 함께 답변

이미 https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=4191 에서 "실행이 되는지 아닌지"를 분석하는 것은 어려우므로 적당히 해도 된다고 말씀하셨는데요,
"실행이 되는지 아닌지"의 기준이 좀 애매해서 질문을 드립니다.

다음의 예시는 모든 라인이 실행됩니다.
x has 1;
goto L0 on x;
L1: z has y;
goto L2 on z;
L0: y has x;
goto L1 on y;
L2: say z

하지만 실행 순서는 L0 -> L1 -> L2이고, 제가 잘못 쓰지 않았다면 valid합니다.
그런데 만일 goto문이 take되는지 안 되는지를 생각할 필요가 없다면(라인을 무조건 위에서 아래로 check)

x has 1; <- valid
goto L0 on x; <- valid
L1: z has y; <- y가 정의되지 않았으므로 invalid

따라서 false를 return할 수도 있겠지요.

결국 "실행이 되는지 아닌지"의 의미를 "goto가 take되는지 아닌지"로 확대 해석해도 되는지가 궁금합니다. 비슷한 질문이 많은데 또 해서 죄송합니다.

감사합니다.
위로
사용자 정보 보기 비밀 메시지 보내기
조성근



가입: 2009년 9월 14일
올린 글: 283

올리기올려짐: 2013년12월21일 20:49    주제: 인용과 함께 답변

결국 "실행이 되는지 아닌지"의 의미를 "goto가 take되는지 아닌지"로 확대 해석해도 되는지가 궁금합니다.

아닙니다.

저렇게 확대해석하시면 위와 같이 너무 명백하게 옳은 프로그램도 틀렸다고 하겠죠. 그런 것을 문제에서 기대하는 것은 아닙니다. 실행이 되는지 아닌지가 어려운 문제이므로 아얘 모른다고 가정하고 답안을 작성하시는 것은 곤란합니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4190.210 Principles of Programming (Fall 2013) 시간대: GMT + 9 시간(한국)
페이지 11

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


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