[노건일]

ex1에서 ,
'주어진 람다식에서 모든 변수식 x는 함수식 내부에서만 사용된다' 는건
1. x
2. (\x.x) z
와 같은 람다식은 다루지 않는다는 말인가요?
(제가 정확히 이해한건지 모르겠어서 여쭤봅니다)

그렇다면, ex3에서
람다를 드브루인으로 번역할때에도
위와 같이 자유변수가 있는 람다식은 고려하지 않아도 되는건가요?

[노건일]

그리고,

1.
4page의 trans에 대한 조건을 보면
최종적으로 비교하는 대상이 드브루인식으로만 한정되어 있습니다.

생각해보니, 람다식끼리 비교하려면
변수이름은 다르지만 형태는 같은
(\x.x) = (\y.y) 이와 같은 경우를 생각해줘야 하는데..

이번 숙제에서는 이와 같은 경우를 고려하지 않아도 된다고 해석해도 되나요?

2.
드브루인식을 번역한 람다식에서
만약 다른 함수식에 같은 변수가 사용되는 형태로 변역된다면
즉, (\x.x)(\x.x)와 같은 경우로 변역된다면
각 변수명을 다르게 다시 지정해줘야 하나요?
(만약 저 식을 reduce한다면 올바르게 작동하긴 합니다..)

3.
어찌됐든 4페이지의 조건만 만족하도록
Trans를 작성하면 된다.. 라고 하시면
1과 2의 질문이 무색해지겠군요

[윤용호]

[노건일]

엇 그렇군요

답변 감사합니다~

[장수원]