과제6-1 질문

이준수 · 가입: 2024년 3월 7일 올린 글: 3

K.FOR, K.WHILE을 구현하는데 있어서 reclusive 방식으로 이를 구현하면 stcak overflow에 계속 빠집니다. 가령 K.WHILE에서 JTR로 condition의 참 거짓 여부를 판별한 이후, body를 수행하고 다시 K.WHILE을 호출할 때같이 말입니다. reculsive 방식이 SM5에서는 사용이 불가능한 것인지 질문 드립니다.

seongtae_jeong · 가입: 2024년 3월 4일 올린 글: 10

저도 그런 방식으로 구현하려고 했었는데, SM5로 번역하는 과정이 dynamic 하게 수행되는 것이 아니라 프로그램 실행 전에 static 하게 수행되기 때문에 문제가 생기는 듯합니다.
JTR 안에 WHILE을 넣고, 그 WHILE 안에 또 JTR이 있고, ... 이렇게 무한히 반복되기 때문에 결과적으로는 command (C)가 무한히 길어지는 것입니다.

이재호 · Site Admin 가입: 2022년 3월 6일 올린 글: 209

@seongtae_jeong님께서 말씀주신 바가 맞습니다. https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=7378 를 참고하시면 도움이 될 것입니다.

힌트를 드리자면, K.WHILE/K.FOR의 번역은 K 언어에서 재귀함수를 정의한 후 이를 곧바로 부르는 코드를 번역하여 (어려운 부분인 K.LETF의 번역에 성공하셨다면) 쉽게 구현하실 수 있습니다.

감사합니다.

조교 드림

TA 이재호
e-mail: jhlee@ropas.snu.ac.kr