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

Tôi đang bắt đầu đọc một cuốn sách về Độ phức tạp tính toán và Máy Turing. Đây là trích dẫn: Một thuật toán (nghĩa là một máy) có thể được biểu diễn dưới dạng một chuỗi bit một khi chúng ta quyết định một số mã hóa chính tắc. …

17 algorithms  turing-machines  computability  computation-models 

Có rất nhiều (và ý tôi là nhiều) ngôn ngữ có thể đếm được là Turing-decidable. Bất kỳ ngôn ngữ không thể đếm được có thể là Turing có thể quyết định?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

Có tồn tại một máy Turing tạm dừng trên tất cả các đầu vào nhưng thuộc tính đó không thể chứng minh được vì một số lý do? Tôi tự hỏi nếu câu hỏi này đã được nghiên cứu. Lưu ý, "không thể chứng minh" có thể có nghĩa là …

17 computability  reference-request  turing-machines  halting-problem 

Không có giải pháp phân tích chung cho vấn đề cơ thể n có thể tạo ra chức năng phân tích có thể được sử dụng để đưa ra trạng thái của hệ thống cơ thể n tại thời điểm tùy ý t với độ chính xác chính xác. Tuy …

16 computability  turing-machines  undecidability  computation-models 

Trong câu hỏi này, chúng tôi chỉ xem xét các máy Turing tạm dừng trên tất cả các đầu vào. Nếu thì bằng T k, chúng ta biểu thị máy Turing có mã là k .k∈Nk∈Nk \in \mathbb{N}TkTkT_kkkk Hãy xem xét các chức năng sau đây s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y) = \min\{k \mid …

16 computability  turing-machines 

Đặt là hàm cố định thời gian có thể xây dựng.fff Kết quả mô phỏng phổ quát cổ điển cho các TM (Hennie và Stearns, 1966) nói rằng có một TM hai băng sao choBạnBạnU mô tả về TM và⟨ M⟩⟨M⟩\langle M \rangle một chuỗi đầu vào ,xxx chạy cho …

16 complexity-theory  reference-request  turing-machines  machine-models  simulation 

Lưu ý đây là một câu hỏi liên quan đến việc học trong khóa học CS tại một trường đại học, nó KHÔNG phải là bài tập về nhà và có thể tìm thấy ở đây trong kỳ thi Fall 2011. Đây là hai câu hỏi tôi đang xem từ …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

Có những không gian vũ trụ tương đối tính (ví dụ như tàu vũ trụ MH; xem Hogarth 1994) trong đó một thế giới của thời gian vô hạn có thể được chứa trong quá khứ của một người quan sát hữu hạn. Điều này có nghĩa là một người …

15 turing-machines  halting-problem  church-turing-thesis  hypercomputation 

Một người nào đó trong một cuộc thảo luận đã đưa ra rằng (ông cho rằng) có thể có ít nhất một số chiến lược liên tục để tiếp cận một vấn đề cụ thể. Vấn đề cụ thể là chiến lược giao dịch (không phải thuật toán mà là …

15 algorithms  turing-machines  combinatorics 

Các thuật toán cờ vua hiện tại đi khoảng 1 hoặc có thể 2 cấp xuống một cây đường có thể tùy thuộc vào nước cờ của người chơi và nước đi của đối thủ. Hãy nói rằng chúng ta có khả năng tính toán để phát triển một thuật …

15 algorithms  turing-machines 

Tôi đang sử dụng một máy tính kỹ thuật số để viết tin nhắn này. Một cỗ máy như vậy có một tính chất mà nếu bạn nghĩ về nó, thực sự khá đáng chú ý: Đó là một cỗ máy mà nếu được lập trình phù hợp, có thể …

15 computability  turing-machines  history 

Tôi biết rằng các cổng NAND có thể được sử dụng để tạo ra các mạch thực hiện mọi bảng chân lý và các máy tính hiện đại được xây dựng từ các cổng NAND. Liên kết lý thuyết giữa các cổng NAND và tính đầy đủ của Turing là …

14 turing-machines  turing-completeness  digital-circuits 

Tôi có những câu hỏi này từ một bài kiểm tra cũ tôi đang cố gắng giải. Đối với mỗi vấn đề, đầu vào là một mã hóa của một số máy Turing MMM . Đối với số nguyên và ba vấn đề sau:c>1c>1c>1 Có đúng là với mọi đầu …

14 computability  turing-machines  undecidability 

Tuy nhiên, rất nhiều vấn đề "nổi tiếng" không thể giải quyết được, ít nhất là có thể bán được, với sự bổ sung của chúng là không thể giải quyết được. Một ví dụ trên tất cả có thể là vấn đề tạm dừng và bổ sung của nó. …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

Tôi đang cố gắng để hiểu sự tồn tại của các ngôn ngữ không thể nhận ra. Để có được điều này, tôi cần biết tại sao một máy Turing chỉ nhận ra một ngôn ngữ chứ không phải nhiều ngôn ngữ. Tại sao lại thế này?

13 turing-machines  computation-models