배요한 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 |
|