이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
정영범
가입: 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번 번역기를 만들어야 테스트할 수 있는거 아닌가요 ㅠㅠ
추측해서 해야하는건가요 ㅠㅠ |
|
위로 |
|
|
|