게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

[HW6] 3번의 람다 소거에 대해

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Spring 2022)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
김도형



가입: 2022년 3월 8일
올린 글: 103

올리기올려짐: 2022년5월10일 10:42    주제: [HW6] 3번의 람다 소거에 대해 인용과 함께 답변

안녕하세요.

다른 질문글에서 추천해주신 사이트(https://lambdacalc.io/)를 통해
test1.l의 내용을 확인해보았는데
\x.\y.\z.((((x y)(y z))(\x.x))(\x.x))(\x.x)가
λx.λy.λz.xy(yz)λx0.x0λx0.x0λx0.x0라는 형태로 나왔습니다.

제가 짐작했던 것과는 다른 작동이었는데, 저는
\x.\y.\z.((((x y)(y z))(\x.x))(\x.x))(\x.x)
-> \y.\z.((((\x.x) y)(y z))(\x.x))(\x.x)
-> \z.(((\x.x) (\x.x))((\x.x) z))(\x.x)
-> ((\x.x) (\x.x))((\x.x) (\x.x))
-> (\x.x)((\x.x) (\x.x))
-> ((\x.x) (\x.x))
-> (\x.x)
와 같이 작동하리라 짐작하였습니다.

혹시 어느 쪽이 맞는 건가요?

감사합니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이재호
Site Admin


가입: 2022년 3월 6일
올린 글: 83

올리기올려짐: 2022년5월10일 22:19    주제: 인용과 함께 답변

안녕하세요, 조교입니다.

사이트의 결과대로 나오는 것이 맞습니다.

도형님 생각과 같이 진행이 되기 위해서는 괄호가 다르게 [ (λx.(λy.(λz.(x y)(y z))(λx.x))(λx.x))(λx.x) ] 묶여있어야 합니다.
숙제 문서에 있는 람다식의 문법에서도 확인할 수 있듯, E E (application)이 highest-precedence를 가지기 때문입니다.

lambdacalc.io의 documentation (https://lambdacalc.io/documentation.pdf)에서도 확인할 수 있는 내용입니다.

감사합니다.
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기 글 올린이의 웹사이트 방문
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Spring 2022) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay