[전보영]

\x.x 와 \a.a 는 같은 람다식인가요?

만약 같은 람다식이라면,
reduce (encode (결과로 자연수 0을 내놓는 어떤 M0 프로그램))
의 결과가
어떨때는 \f.\x.x 이 나오고, 어떨 때는 \a.\b.b 가 나와도 맞는 것으로 채점되는지 궁금합니다.

[조성근]

예. \f.\x.x와 \a.\b.b는 alpha conversion에 의해서 같은 식이라고 생각할 수 있습니다.

말로 풀어서 설명하자면 두 식 모두 "두 개의 인자를 받아서 나중에 받은 인자를 내놓는 함수"이므로 같다고 볼 수 있습니다. 단지 인자에 f와 x 또는 a와 b라는 다른 이름을 붙여준 것 뿐이지요.