게시판 인덱스

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

숙제 4-1 예제를 올려주세요.

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



가입: 2005년 9월 5일
올린 글: 167

올리기올려짐: 2011년4월25일 18:05    주제: 숙제 4-1 예제를 올려주세요. 인용과 함께 답변

제가 만든 예제들을 공유합니다.
여러분도 답글로 예제를 달아주세요.

==============
input program
==============
(\x.(x) (\y.x)) (\a.(a) (k))

==============
output program
==============
\a.(a) (k)

==============
input program
==============
(\x.(((x) (x)) (x)) (x)) (\z.z)

==============
output program
==============
\z.z

==============
input program
==============
((\b.\c.((b) (c)) (\t.\f.f)) (\t.\f.t)) (\t.\f.f)

==============
output program
==============
\t.\f.f

==============
input program
==============
((\b.\c.((b) (c)) (\t.\f.f)) (\t.\f.t)) (\t.\f.t)

==============
output program
==============
\t.\f.t

==============
input program
==============
(\zero. \one. \two. \add. \mult. mult (add two one) (add zero two)) (\s.\z.z) (\s.\z.s z) (\s.\z.s (s z)) (\m.\n.\s.\z.m s (n s z)) (\m.\n.\s.\z.m (n s) z)

<-- 쓸데 없는 괄호가 많이 나와서 원본을 올립니다.

==============
output program
==============
\s.\z.(s) ((s) ((s) ((s) ((s) ((s) (z))))))
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기 글 올린이의 웹사이트 방문
정영범



가입: 2005년 9월 5일
올린 글: 167

올리기올려짐: 2011년4월26일 16:17    주제: 인용과 함께 답변

(\y. \zero. \one. \three. \iszero. \mult. \pred. (y (\f.(\n. (iszero n) one (mult n (f (pred n)))))) three)
(\f. (\x. f (x x)) (\x. f (x x)))
(\s.\z.z) (\s.\z.s z) (\s. \z. s (s (s z)))
(\m. m (\x. (\a.\b.b)) (\a.\b.a))
(\m.\n.\s.\z.m (n s) z)
(\n.\f.\x. n (\g.\h. h (g f)) (\u. x) (\u. u))

위에 식들 전체가 하나의 식입니다. 보기 편하게 줄을 나눠서 썼습니다.
실행하면 뭐가 나올까요?
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기 글 올린이의 웹사이트 방문
김부근



가입: 2011년 3월 12일
올린 글: 12

올리기올려짐: 2011년5월1일 13:00    주제: 인용과 함께 답변

좀 길지만 6이 나오네요.

두개 올려볼게요. (제가 한건 아니고.. 숙제 4-2 번역기가 해줬습니다.)

치환 잘 되는지 확인했던 코드입니다.
(\x.\y.x x y) y
== \y0.y y y0

7-2=?
(((\s.((\z.((s) ((s) (z)))))))
((\n.((\f.((\x.((((n) ((\g.((\h.((h) ((g) (f)))))))) ((\u.(x)))) ((\u.(u)))))))))))
((\s.((\z.((s) ((s) ((s) ((s) ((s) ((s) ((s) (z))))))))))))
위로
사용자 정보 보기 비밀 메시지 보내기
sejin325



가입: 2009년 10월 2일
올린 글: 10

올리기올려짐: 2011년5월2일 17:48    주제: 저 예제들이요... 인용과 함께 답변

2번 번역기를 만들어야 테스트할 수 있는거 아닌가요 ㅠㅠ
추측해서 해야하는건가요 ㅠㅠ
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Spring 2011) 시간대: GMT + 9 시간(한국)
페이지 11

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


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