[김광래]

(\x.\z.(x z)) z
이런 경우 \z.(z z) 이런 결과가 아닌
\v(z v) 이런 식으로 새 이름을 지어주어야 하는데요
채점이 어떻게 이루어지나요? 이름 짓는 방식에 제한이 있어야할까요?
감사합니다.

[강동옥]

네, reduce하는 과정에서 새 이름을 지어주어야 하는 경우가 있는데, 이 때 새롭게 도입하는 이름에 대한 특별한 제한이나 원칙은 없습니다.

채점시에는 alpha conversion에 의해 같은 lexp로 변환되는 표현이면 모두 정답으로 인정할 것입니다.

감사합니다.