이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
서석준
가입: 2012년 9월 13일 올린 글: 59
|
올려짐: 2013년11월6일 17:44 주제: 5-1 테스트 결과 |
|
|
5-1 테스트셋에 딱히 결과가 없어서 다른 분들은 어떻게 나왔는지 궁금해서 올려봅니다.
저는 1, 2, 3번은 입력과 출력이 동일하고
4번은 \x.y가 나옵니다.
혹시 본인의 답과 다르시다면 서로 토의해보면 좋을 듯 합니다. |
|
위로 |
|
|
서석준
가입: 2012년 9월 13일 올린 글: 59
|
올려짐: 2013년11월6일 17:46 주제: 수정 |
|
|
4번 테스트셋이 헷갈리네요.
x의 scope가 바깥쪽에 걸리니까 이 경우엔 그냥 \x.x가 나와야 맞는걸까요? |
|
위로 |
|
|
복진욱
가입: 2013년 9월 21일 올린 글: 28
|
올려짐: 2013년11월6일 20:15 주제: |
|
|
저도 123번 그대로 나오고 4번은 \x.x나와요 |
|
위로 |
|
|
강동원
가입: 2013년 9월 4일 올린 글: 4
|
올려짐: 2013년11월6일 23:07 주제: |
|
|
저도 그렇게 나옵니다.. |
|
위로 |
|
|
강현수
가입: 2011년 9월 27일 올린 글: 16
|
올려짐: 2013년11월8일 23:39 주제: 혹시 |
|
|
(\x.\y.((x) (x)) (y)) (y)
는 다들 어떻게 나오시나요? |
|
위로 |
|
|
서석준
가입: 2012년 9월 13일 올린 글: 59
|
올려짐: 2013년11월10일 20:21 주제: |
|
|
\y.((y) (y)) (y)나오네요 |
|
위로 |
|
|
강현수
가입: 2011년 9월 27일 올린 글: 16
|
올려짐: 2013년11월11일 0:41 주제: - |
|
|
엇... (\x.\y.((x) (x)) (y))에 x를 y로 치환한다고 보면 y가 이미 있으니 다른 변수 이름을 써야하지 않나요? |
|
위로 |
|
|
서석준
가입: 2012년 9월 13일 올린 글: 59
|
올려짐: 2013년11월11일 14:05 주제: |
|
|
Lam의 id에 해당하는 부분은 바꾸지 않는 것으로 알고있는데 아닌가요? |
|
위로 |
|
|
서석준
가입: 2012년 9월 13일 올린 글: 59
|
올려짐: 2013년11월11일 15:39 주제: |
|
|
바껴야맞다고하네요 |
|
위로 |
|
|
은진수
가입: 2012년 12월 6일 올린 글: 2
|
올려짐: 2013년11월11일 16:49 주제: |
|
|
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
이렇게 나오나요? |
|
위로 |
|
|
박준호
가입: 2012년 9월 15일 올린 글: 71
|
올려짐: 2013년11월11일 21:07 주제: |
|
|
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가 일어납니다. |
|
위로 |
|
|
|