[유진선14]

조교님 안녕하세요, 제공해주신 뼈대코드/문법설명 pdf를 보던 중 몇가지 궁금한 점이 생겨 질문드립니다.

1. 제공해주신 READ, WRITE, LETV, ASSIGN 중 READ, WRITE, ASSIGN 만 (v, M)꼴로 리턴이 되고 LETV 만 다시 eval이 들어갑니다. 직관적으로, 각 명령의 의미를 생각하면 당연히 그런 게 이해가 됩니다. 다만, TA게시판에 있는 K-언어 문법을 보면 READ, WRITE, LETV, ASSIGN 모두 σ,M⊢E⇒v, M′꼴로 끝나는데, 이것만 보면 어떻게 (v,M)꼴과 새로운 eval 꼴을 구분할 수 있는건지 (혹은 제가 잘못 이해하고 있는 부분이 있는건지)궁금합니다.

2. 제공해주신 뼈대코드에 NUM 만 구현하고

[로파스]

안녕하세요.

write x 부분에서

x값을 계산하는 부분을 구현하지 않으셔서 그런것같습니다.

exp중 VAR까지 구현하신 뒤 다시 시도해보시면 잘 작동할것입니다.

-조교 드림.

[로파스]

1번 질문에 답변을 안드렸었네요.

네가지 경우 모두 eval함수의 계산결과는 v와 M의 페어로 나옵니다.

다만 eval함수를 재귀적으로 호출해서 v와 M을 계산한 결과를 내야하는 경우가 있고,(LETV)

그렇지 않고 바로 계산을 끝마칠 수 있는 경우가 있습니다.(WRITE, ASSIGN...)

이러한 차이점이라고 이해하시면 됩니다.

-조교 드림.

[유진선14]

감사합니다!