[서석준]

5-1 테스트셋에 딱히 결과가 없어서 다른 분들은 어떻게 나왔는지 궁금해서 올려봅니다.

저는 1, 2, 3번은 입력과 출력이 동일하고

4번은 \x.y가 나옵니다.

혹시 본인의 답과 다르시다면 서로 토의해보면 좋을 듯 합니다.

[서석준]

4번 테스트셋이 헷갈리네요.
x의 scope가 바깥쪽에 걸리니까 이 경우엔 그냥 \x.x가 나와야 맞는걸까요?

[복진욱]

저도 123번 그대로 나오고 4번은 \x.x나와요

[강동원]

저도 그렇게 나옵니다..

[강현수]

(\x.\y.((x) (x)) (y)) (y)
는 다들 어떻게 나오시나요?

[서석준]

\y.((y) (y)) (y)나오네요

[강현수]

엇... (\x.\y.((x) (x)) (y))에 x를 y로 치환한다고 보면 y가 이미 있으니 다른 변수 이름을 써야하지 않나요?

[서석준]

Lam의 id에 해당하는 부분은 바꾸지 않는 것으로 알고있는데 아닌가요?

[서석준]

바껴야맞다고하네요

[은진수]

test 1~4를 다음과 같이 괄호를 쳤을 때

test 1
(\x.(\y.(\z.(x y))))(y z)(\x.x)(\x.x)(\x.x)
결과 : \x.x
test 2
(\s.(\z.(s))) (z)
결과 : \z.z
test 3
(\x.(\y.(\z.x))) (\q.(\w.(\r. t)))
결과 :\y.\z.\q.\w.\r.t
test 4
(\x.(\x.x))y
결과 : \x.x

이렇게 나오나요?

[박준호]

test 1
(\x.(\y.(\z.(x y))))(y z)(\x.x)(\x.x)(\x.x)
결과 : (((y) (z)) (\x.x)) (\x.x)
test 2
(\s.(\z.(s))) (z)
결과 : \a.z
test 3
(\x.(\y.(\z.x))) (\q.(\w.(\r. t)))
결과 : \y.\z.\q.\w.\r.t
test 4
(\x.(\x.x))y
결과 : \x.x

가 나오네요. 1,2번 결과가 다른 것 같습니다.
참고로, test1,2에서 첫번째 substitution에서 variable capture가 일어납니다.