Câu hỏi được gắn thẻ «combinatory-logic»

Đối với các câu hỏi về hệ thống logic được xác định thông qua ứng dụng và viết lại thuật ngữ của các tổ hợp. Các hệ thống này thường có mối liên hệ chặt chẽ với phép tính lambda.


4
Rõ ràng, dẫn xuất trực quan của tổ hợp điểm cố định (tổ hợp Y)?
Bộ kết hợp điểm cố định FIX (còn gọi là bộ kết hợp Y) trong phép tính lambda (chưa được đánh dấu) ( ) được định nghĩa là:λλ\lambda CỐ ĐỊNH≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda …


2
Bộ cơ sở cho tính toán tổ hợp
Người ta biết rằng các tổ hợp S và K tạo thành một cơ sở được thiết lập cho phép tính tổ hợp, theo nghĩa là tất cả các tổ hợp khác có thể được biểu thị theo nghĩa của chúng. Ngoài ra còn có cơ sở B, C, K, …









Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.