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

CCC L C∅⊊C⊊RE∅⊊C⊊RE\emptyset \subsetneq C \subsetneq \mathrm{RE}LLLCCCL={⟨M⟩∣L(M)∈C}L={⟨M⟩∣L(M)∈C}L=\{\langle M \rangle \mid L(M) \in C \} Giả sử rằng ⟨Mloopy⟩∈L⟨Mloopy⟩∈L\langle M_{loopy}\rangle \in L , trong đó MloopyMloopyM_{loopy} là một TM không bao giờ dừng lại. Tôi tự hỏi nếu có thể L∈REL∈REL \in \mathrm{RE} ? Theo định lý của Rice, tôi biết …

8 computability  turing-machines 

Gödel định nghĩa trong đệ quy nguyên thủy System T của mình đối với các loại cao hơn. Tôi đã tìm thấy các ghi chú từ Girard nơi anh ta giải thích việc triển khai Hệ thống T trên đầu trang của phép tính lambda được gõ đơn giản. Ở …

8 computability  lambda-calculus  recursion  type-theory 

Theo hiểu biết của tôi, Turing hoàn thành có nghĩa là chương trình hoặc máy có thể hoàn thành bất kỳ tính toán nào mà máy Turing có thể hoàn thành, với tôi nghĩa là bất kỳ tính toán nào. Vậy làm thế nào để một cái gì đó như …

8 computability  turing-completeness 

Mỗi lần tôi nghĩ rằng tôi hiểu định lý của Rice nghĩa là gì, tôi lại tìm thấy một ví dụ để làm tôi bối rối. Có lẽ ai đó có thể cho tôi biết tôi đang nghĩ sai ở đâu. Hãy lấy một số thuộc tính không tầm thường …

8 computability  undecidability 

Để cho L={<M>|ML={<M>|ML = \{ | M tạm dừng trên mỗi đầu vào xxx nhiều nhất 200∗|x|200∗|x|200 * |x| các bước }}\}. Là LLLquyết định? Có thể nhận ra? Cho rằng thành viên trong LLL khẳng định một cái gì đó về MMMHành vi của một chuỗi vô hạn, đối …

8 computability  turing-machines  undecidability  decision-problem 

Nếu chúng khác nhau, các vấn đề điển hình trong mỗi vấn đề không thuộc về loại khác là gì? Hoặc là loại trừ lẫn nhau hoặc người này hoàn toàn nắm bắt được người kia?

8 computability  terminology 

Là giao điểm của vô số nhiều bộ đệ quy (trong đó mỗi bộ là khác nhau) có đệ quy không? Đệ quy vô số? Tôi biết rằng liên kết không cần phải được đệ quy, bởi vì quyết định nếu một phần tử có trong tập hợp giống như …

7 computability  sets 

Trong số các độ Turing có độ có dạng , ví dụ , , , v.v.0n0n0^n0000′0′0'0′′0″0'' Tôi sẽ chỉ chứng minh điều này nhanh chóng vì sự hoàn thiện. Hy vọng rằng không ai có bất kỳ điều gì với bằng chứng ngắn này: Bổ đề: Bất kỳ bộ số …

7 computability  turing-machines 

Tôi đã thấy mình hơi bối rối với hướng giảm được sử dụng để cho thấy rằng một số ngôn ngữ nhất định không được đệ quy. Ví dụ: giả sử chúng tôi muốn xác định xem ( ) là không thể giải quyết được. Tôi biết chúng ta có …

7 computability  turing-machines  reductions  halting-problem 

Tôi đang làm việc để viết một tài liệu dễ đọc về ngữ nghĩa biểu thị của phép tính lambda. Vì vậy, tôi giới thiệu CPO, tính đơn điệu và liên tục. CPO là một tập hợp có thứ tự một phần và phần tử dưới cùng , yêu cầu …

7 computability  denotational-semantics 

Đây là những gì được biết về vấn đề tạm dừng và bán quyết định: - Vấn đề tạm dừng nói rằng đối với đầu vào x và máy H đã cho, chúng ta không thể nói liệu máy H có dừng hay không trên đầu vào x. Một ngôn …

7 computability  turing-machines  halting-problem  semi-decidability 

Chúng tôi biết vấn đề dừng là ở cấp độ thứ bậc của hệ thống phân cấp. Chúng tôi biết rằng Vấn đề Tổng số nằm ở cấp độ thứ hai của hệ thống phân cấp. Một số ví dụ về các vấn đề ở cấp thứ 3 (hoặc cao …

7 computability  reference-request 

Vì thế, A⩽mBA⩽mB A\leqslant_mB (giảm nhiều thành một) có nghĩa là ngôn ngữ AAA có thể được giảm thành ngôn ngữ BBB nếu tồn tại hàm Turing có thể tính được fff nên f(A)⊆Bf(A)⊆B f(A) \subseteq B và f(A¯¯¯¯)⊆B¯¯¯¯f(A¯)⊆B¯ f(\overline{A}) \subseteq \overline{B} . A⩽TBA⩽TB A\leqslant_TB (Turing tính khử) có nghĩa …

7 computability  reductions 

Cho hai hàm đệ quy nguyên thủy là có thể quyết định liệu chúng có phải là cùng một hàm không? Ví dụ, hãy lấy các thuật toán sắp xếp A và B là đệ quy nguyên thủy. Trong khi có nhiều thuật toán để sắp xếp, tất cả chúng …

7 computability  decision-problem  primitive-recursion 

Tôi xin lỗi nếu câu hỏi này đã được hỏi trước đó, nhưng tôi không thể tìm thấy một bản sao. Tôi vừa đọc xong The Annotated Turing và tôi hơi bối rối. Theo những gì tôi hiểu, Entscheidungspropet là liệu một thuật toán có tồn tại hay không có …

7 computability  turing-machines  logic  decision-problem  incompleteness