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

3

Tại sao chúng ta không thể lật lại câu trả lời của NDTM một cách hiệu quả?

Tôi đã đọc nhiều lần rằng không thể lật câu trả lời của NDTM một cách hiệu quả. Tuy nhiên, tôi không hiểu tại sao. Chẳng hạn, với một NDTM chạy trong O ( n ) , văn bản này (phần 3.3) nói rằng không rõ làm thế nào một …

11 complexity-theory  turing-machines 

---

4

Làm thế nào để một máy Turing không phá hủy hoạt động?

Sự khác biệt giữa máy Turing xác định và không xác định là gì? Các mô hình khác nhau nhưng tương đương của NDTM. Cụ thể, cụm từ được sử dụng thường xuyên này là "đoán không đặc biệt" là gì? Làm thế nào để sử dụng nó đúng, và …

11 turing-machines  nondeterminism 

---

1

Làm thế nào một máy Turing phổ dụng có thể mô phỏng những người lớn hơn của Google?

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 

---

1

Không gian tuyến tính có ý nghĩa gì đối với máy Turing?

Vấn đề quyết định liệu đầu vào có phải là một bảng màu hay không đã được chứng minh là cần có không gian trên máy Turing. Tuy nhiên, ngay cả việc lưu trữ đầu vào cũng cần không gian , điều đó không có nghĩa là tất cả các …

10 turing-machines  space-complexity 

---

2

Rõ ràng, đầy đủ, bằng chứng rằng một ngôn ngữ là Turing Compete?

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 

---

3

Ngôn ngữ quyết định và ngữ pháp không hạn chế?

Máy Turing và ngữ pháp không giới hạn là hai hình thức khác nhau xác định ngôn ngữ RE. Một số ngôn ngữ RE là có thể quyết định, nhưng không phải tất cả đều được. Chúng ta có thể định nghĩa các ngôn ngữ có thể quyết định bằng …

10 computability  turing-machines  formal-grammars 

---

1

Sự khác biệt giữa tạm dừng, chấp nhận và quyết định trong bối cảnh của máy Turing là gì?

Có chấp nhận có nghĩa là TM sẽ đọc và nhận ra một char từ ô mà nó hiện đang đọc không? Và đó có phải là trường hợp một TM tạm dừng nếu đầu vào là quyết định?

10 terminology  turing-machines  undecidability 

---

1

Chứng minh rằng hàm boolean có thể tính toán được trong T (n) bằng máy RAM nằm trong DTIME (T (n) ^ 2)

Câu hỏi là bài tập 1.9 từ cuốn sách Tính phức tạp tính toán của Arora-Barak - Cách tiếp cận hiện đại : Xác định máy RAM Turing là máy Turing có bộ nhớ truy cập ngẫu nhiên. Chúng tôi chính thức hóa điều này như sau: Máy có một …

10 complexity-theory  turing-machines  machine-models  simulation 

---

1

Turing Recognizable => vô số

Tôi có bằng chứng về việc chuyển từ một điều tra viên sang Máy Turing (tiếp tục chạy điều tra viên và xem liệu nó có khớp với đầu vào không) nhưng tôi không thấy cách khác hoạt động. Theo ghi chú của tôi và cuốn sách (Giới thiệu về …

10 computability  turing-machines  intuition 

---

2

Câu hỏi liên quan đến Máy Turing với trạng thái vô dụng

OK, vì vậy đây là một câu hỏi từ một bài kiểm tra trước đây trong lớp Lý thuyết tính toán của tôi: Trạng thái vô dụng trong TM là trạng thái không bao giờ được nhập trên bất kỳ chuỗi đầu vào nào. Đặt Chứng minh rằng là không …

10 computability  undecidability  formal-methods  turing-machines 

---

3

Sự phức tạp không gian của việc nhận ra các palindromes Watson-Crick

Tôi có vấn đề thuật toán sau: Xác định độ phức tạp Turing của việc nhận dạng các chuỗi DNA là các palindromes Watson-Crick. Watson-Crick palindromes là các chuỗi có bổ sung đảo ngược là chuỗi ban đầu. Phần bù được định nghĩa là chữ cái, lấy cảm hứng từ …

10 algorithms  algorithm-analysis  turing-machines  space-complexity 

---

1

Sự khác biệt giữa RAM và TM là gì?

Trong phân tích thuật toán, chúng tôi giả sử một Bộ xử lý ngẫu nhiên chung (RAM) bộ xử lý. Theo tôi biết, máy RAM không hiệu quả hơn máy Turing. Tất cả các thuật toán có thể được thực hiện trong máy Turing. Vì vậy, câu hỏi của tôi …

10 turing-machines  computation-models 

---

4

Máy Turing (TM) có thể quyết định xem sự cố tạm dừng có áp dụng cho tất cả các TM không?

Trên trang web này có nhiều biến thể về câu hỏi liệu các TM có thể quyết định vấn đề tạm dừng hay không, cho dù tất cả các TM khác hoặc các tập hợp con nhất định. Câu hỏi này có phần khác nhau. Nó hỏi liệu thực tế …

9 computability  turing-machines  undecidability  halting-problem 

---

4

Các vấn đề tạm dừng giới hạn là quyết định. Tại sao điều này không mâu thuẫn với định lý của Rice?

Một tuyên bố về định lý của Rice được đưa ra ở trang 35 của "Độ phức tạp tính toán: Cách tiếp cận hiện đại" (Arora-Barak): Hàm một phần từ đến là một hàm không nhất thiết phải được xác định trên tất cả các đầu vào của nó. Chúng …

9 computability  turing-machines  undecidability  rice-theorem 

---

2

Làm thế nào để chứng minh rằng 3 màu là quyết định?

Để chứng minh rằng 3 màu là có thể quyết định, có đủ để nói: Mỗi nút trong biểu đồ có 3 màu có thể Do đó, chúng ta có thể liệt kê trên tất cả khả năng và sau đó kiểm tra xem không có hai cạnh nào kết …

9 computability  turing-machines  colorings 

---