[seongtae_jeong]

안녕하세요.
hw6의 exercise 3에 관해 질문이 있습니다.

뼈대 코드에 제공되는 subst 함수를 사용하면 alpha-conversion을 위해 "#"으로 시작하는 새로운 변수 이름을 도입하는 것으로 보입니다.
그런데 이렇게 도입된 변수 이름을 따로 고치지 않은 채로 reduce의 최종 결과물로 삼아도 되는지 궁금합니다.

예를 들어, 주어진 예시 중 test4.l에는 "(\x.(\x.x))y"라는 식이 주어져 있는데, 이를 "\#0.#0"처럼 reduce 해도 괜찮을까요?

[이재호]

안녕하세요,
답변이 늦어져서 죄송합니다.

알파연산에 대해서 동일하면 문제 없습니다. 모두 동일한 형태로 바꾸어 채점합니다.

감사합니다.

조교 드림


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