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

Brainfuck là ngôn ngữ lập trình hoàn chỉnh Turing chỉ sử dụng 8 ký hiệu (6 nếu bạn bỏ qua I / O). Hai thứ đáng chú ý nhất đẩy nó đến sự hoàn thiện của Turing là [và ]về cơ bản là nhãn và goto của Brainfuck. Thông thường, …

12 turing-completeness 

Nếu chúng ta có bất kỳ chương trình máy tính tùy ý nào có thể sửa đổi hướng dẫn của nó, liệu có thể mô phỏng chương trình đó với một chương trình không thể sửa đổi hướng dẫn của nó không? Biên tập: Tôi chưa quen với stackexchange nên …

12 computability  computation-models  turing-completeness  church-turing-thesis 

Một nhận xét trên tex.SE làm tôi tự hỏi. Tuyên bố về cơ bản là: Nếu tôi có thể viết trình biên dịch cho ngôn ngữ X bằng ngôn ngữ X, thì X là Turing-Complete. Trong khả năng tính toán và ngôn ngữ chính thức, đây là: Nếu quyết định …

12 computability  turing-completeness 

Hai mô hình điện toán có thể được hiển thị là hoàn thành nếu mỗi mô hình có thể mã hóa một trình giả lập phổ quát cho mô hình kia. Hai logic có thể được hiển thị là hoàn thành nếu mã hóa các quy tắc suy luận (và …

10 computability  logic  turing-completeness 

Tôi đang cố gắng tìm câu trả lời cho hai câu hỏi về máy Universal Turing. Làm thế nào máy Universal Turing có thể mô phỏng máy Turing nếu máy đang được mô phỏng có số lượng trạng thái lớn hơn? Làm thế nào máy Universal Turing có thể mô …

10 computability  turing-machines  simulation  turing-completeness 

Tôi đã thấy các trang web có ý định "chứng minh" rằng HTML5 + CSS là Turing Complete. Tôi đã thấy các trang web có ý định "chứng minh" rằng SQL là Turing Complete. Tôi đã thấy một loạt các trang web có ý định "giải thích" ý nghĩa của …

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis 

Hàm Boolean là hàm .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} Cơ sở boolean được biết đến là Turing hoàn thành vì nó cho phép bất kỳ chuỗi s ∈ { 0 , 1 } để được lộn hoặc bị bỏ lại không thay đổi. Điều tương tự cũng có thể nói về cổng X O …

9 turing-machines  turing-completeness  boolean-algebra 

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 

Người ta biết rằng một máy có một ngăn xếp duy nhất không chỉ lưu trữ không giới hạn là không hoàn thành Turing, nếu nó chỉ có thể đọc từ đầu ngăn xếp. Tôi muốn một cỗ máy mạnh hơn một chút so với máy stack, nhưng vẫn chưa …

7 computation-models  turing-completeness  linked-lists  stacks 

Thuật ngữ "Tính đầy đủ của Turing" đã được thảo luận trong một số lớp Khoa học Máy tính mà tôi đã học. Tuy nhiên, tôi chưa bao giờ có được cảm giác trực quan về những gì Turing hoàn thành thực sự đòi hỏi. Tôi tìm thấy câu hỏi …

7 programming-languages  turing-completeness