http://lomeo.livejournal.com/ (
lomeo.livejournal.com
) wrote
in
deniok
2008-04-03 12:34 pm (UTC)
no subject
Первая. Во первых, берём форму
FM=(YG)M,
так как очевидно, что F - рекурсивна. Итак,
FM=(YG)M=G(YG)M
G(YG)M=MF=M(YG)
G = \a b . b a
F = Y(\a b . b a)
Вторая сложнее, сейчас подумаю.
(
39 comments
)
Post a comment in response:
From:
Anonymous
This account has disabled anonymous posting.
OpenID
Identity URL:
Log in?
Dreamwidth account
Account name
Password
Log in?
If you don't have an account you can
create one now
.
Subject
HTML doesn't work in the subject.
Formatting type
Casual HTML
Markdown
Raw HTML
Rich Text Editor
Message
[
Home
|
Post Entry
|
Log in
|
Search
|
Browse Options
|
Site Map
]
no subject
FM=(YG)M,
так как очевидно, что F - рекурсивна. Итак,
FM=(YG)M=G(YG)M
G(YG)M=MF=M(YG)
G = \a b . b a
F = Y(\a b . b a)
Вторая сложнее, сейчас подумаю.