게시판 인덱스

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

for Semantics 관련

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2018)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
김종범



가입: 2018년 9월 11일
올린 글: 3

올리기올려짐: 2018년11월9일 15:38    주제: for Semantics 관련 인용과 함께 답변

for semantics를 참고하면 기존의 i값은 변경하지 않는 것으로 보입니다. (메모리에서 i의 값을 변경하지 않음)
각각에 대해서 env에 대해 i의 값을 n1 부터 n2까지 늘려주는데 애매모호한 경우가 많은 것 같습니다.

제가 궁금한 질문들은 다음과 같습니다.

1.
인용:

let i := 0 in
(for i := 10 to 5 do write(1));
write(i);

은 0을 출력하는게 맞나요?

2.
인용:

let i := 0 in
(for i := 5 to 9 do write(1));
write(i);

은 0을 출력하는게 맞나요?

3.
인용:

let k := 0 in
(for i := 5 to 9 do write(1));
write(k);

는 실행이 안되는 것이 맞나요?

4.
인용:

let i := 0 in
for i := 0 to 5 do write (i := i+1);
write (i)

은 1 2 3 4 5 6 6을 출력하는게 맞나요?

답변부탁드립니다. 감사합니다.
위로
사용자 정보 보기 비밀 메시지 보내기
배요한
Site Admin


가입: 2018년 3월 6일
올린 글: 107

올리기올려짐: 2018년11월9일 16:55    주제: 인용과 함께 답변

안녕하세요, 김종범 학생.

인용:
for semantics를 참고하면 기존의 i값은 변경하지 않는 것으로 보입니다. (메모리에서 i의 값을 변경하지 않음)

메모리에서 기존의 i 값은 변합니다. 예를 들어 for i:=1 to 10 do e3 이라고 하면
FORT의 규칙을 보시면 조건부에,
i =1 일 때 σ, M''(σ(i) -> 1 + 0) ⊢ e3 => v0, M0,
i = 2일 때, σ, M0(σ(i) -> 1 + 1) ⊢ e3 => v1, M1,
i = 3일 때, σ, M1(σ(i) -> 1 + 2) ⊢ e3 => v2, M2,
...
i = 10일 때, σ, M8(σ(i) -> 1 + 9) ⊢ e3 => v9, M9,
로 해석이 됩니다.


1. 맞습니다.
2. 아니요. 1 1 1 1 1 9 입니다.
3, 4. 맞습니다.


감사합니다.


TA 이동권
e-mail: dklee@ropas.snu.ac.kr

TA 배요한
e-mail: yhbae@ropas.snu.ac.kr
위로
사용자 정보 보기 비밀 메시지 보내기
김종범



가입: 2018년 9월 11일
올린 글: 3

올리기올려짐: 2018년11월9일 20:42    주제: 아 인용과 함께 답변

제가 착오가 있었네요.

답변 감사합니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2018) 시간대: GMT + 9 시간(한국)
페이지 11

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


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