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

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 …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

Vấn đề tạm dừng nêu rõ không có thuật toán nào xác định xem chương trình đã cho có dừng hay không. Do đó, cần có các chương trình mà chúng tôi không thể biết liệu họ có chấm dứt hay không. Các ví dụ đơn giản nhất (nhỏ nhất) …

27 computability  turing-machines  halting-problem 

Lưu ý, trong khi tôi biết cách lập trình, tôi khá là người mới bắt đầu học lý thuyết CS. Theo câu trả lời này Turing hoàn thiện là một khái niệm trừu tượng về khả năng tính toán. Nếu một ngôn ngữ là Turing hoàn chỉnh, thì nó có …

26 computability  programming-languages  turing-completeness 

Tôi đang gặp khó khăn trong việc tìm hiểu bằng chứng về tính không ổn định của Vấn đề Ngừng. Nếu trả về việc chương trình có dừng lại ở đầu vào b hay không , tại sao chúng ta phải truyền mã của P cho cả a và b …

25 computability  turing-machines 

Rõ ràng không có bất kỳ vấn đề không thể giải quyết được trong NP. Tuy nhiên, theo Wikipedia : NP là tập hợp tất cả các vấn đề quyết định trong đó các trường hợp trong đó câu trả lời là "có" có [.. bằng chứng] có thể kiểm …

25 complexity-theory  computability  undecidability  decision-problem 

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính lý thuyết bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính. Di cư 6 năm trước . Tôi đã bắt gặp nhiều định nghĩa về ngôn …

24 formal-languages  computability  turing-machines 

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính lý thuyết bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính. Di cư 7 năm trước . Tôi chỉ có câu hỏi thú vị này. Chức …

24 computability 

Trong lý thuyết tính toán, các hàm tính toán còn được gọi là các hàm đệ quy. Ít nhất là từ cái nhìn đầu tiên, họ không có gì chung với cái mà bạn gọi là "đệ quy" trong lập trình hàng ngày (nghĩa là các hàm gọi chúng là …

23 computability  terminology  history 

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính lý thuyết bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính. Di cư 7 năm trước . "Alan Turing đã chứng minh vào năm 1936 rằng …

23 computability  formal-methods  halting-problem  software-verification 

Có lẽ sự hiểu biết hạn chế của tôi về chủ đề này là không chính xác, nhưng đây là những gì tôi hiểu cho đến nay: Lập trình chức năng dựa trên Lambda Tính, được xây dựng bởi Alonzo Church. Lập trình bắt buộc dựa trên mô hình máy …

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

Tôi đã nghiên cứu một vài điều về Độ phức tạp Kolmogorov , đọc một số bài báo và sách từ Vitanyi và Li và sử dụng khái niệm Khoảng cách nén chuẩn hóa để xác minh mức độ của các tác giả (xác định cách mỗi tác giả viết …

22 computability  approximation  data-compression  kolmogorov-complexity 

Một máy Turing trở về trạng thái đã gặp trước đó với đầu đọc / ghi của nó trên cùng một ô của cùng một băng chính xác sẽ bị bắt trong một vòng lặp. Một cái máy như vậy không dừng lại. Ai đó có thể đưa ra một …

22 computability  turing-machines  halting-problem 

Có ngôn ngữ "tự nhiên" nào không thể giải quyết được không? bởi "tự nhiên" Tôi có nghĩa là một ngôn ngữ được xác định trực tiếp bởi các thuộc tính của chuỗi và không thông qua các máy và tương đương của chúng. Nói cách khác, nếu ngôn ngữ …

22 formal-languages  automata  computability  undecidability 

Gần đây tôi đã nghe một sự tương tự thú vị nói rằng bằng chứng của Turing về tính không ổn định của vấn đề tạm dừng rất giống với nghịch lý thợ cắt tóc của Russell. Vì vậy, tôi đã tự hỏi: các nhà toán học cuối cùng đã …

21 computability  turing-machines  computation-models  halting-problem 

Khi xem xét các mô hình tính toán của máy, hệ thống phân cấp Chomsky thường được đặc trưng bởi (theo thứ tự), automata hữu hạn, automata đẩy xuống, automata ràng buộc tuyến tính và Turing Machines. Đối với cấp 1 và cấp 1 (ngôn ngữ thông thường và ngôn …

21 formal-languages  computability  context-free  computation-models  context-sensitive