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

Hệ thống chính thức của Giáo hội được sử dụng trong khả năng tính toán, ngôn ngữ lập trình và lý thuyết bằng chứng để thể hiện các chức năng, chương trình hiệu quả và tính toán của chúng, và bằng chứng.

4
Có một mô hình tính toán không hoàn chỉnh Turing nào mà vấn đề tạm dừng là không thể giải quyết được không?
Tôi không thể nghĩ về bất kỳ mô hình như vậy, có thể một số hình thức tính toán lambda gõ? một số tự động tế bào tiểu học? Điều này gần như sẽ bác bỏ "Nguyên tắc tương đương tính toán" của Wolfram: Hầu như tất cả các quy …
3
Có thể gõ lambda tính toán thể hiện * tất cả * thuật toán dưới một độ phức tạp nhất định không?
Tôi biết rằng độ phức tạp của hầu hết các loại tính toán lambda được gõ mà không có nguyên hàm tổ hợp Y bị giới hạn, nghĩa là chỉ có thể biểu thị các hàm phức tạp giới hạn, với giới hạn trở nên lớn hơn khi tính biểu …
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 cookie và Chính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.