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

Bất kỳ ngôn ngữ nào không hoàn thành Turing đều không thể tự viết trình thông dịch. Tôi không biết tôi đã đọc nó ở đâu nhưng tôi đã thấy nó được sử dụng nhiều lần. Có vẻ như điều này làm phát sinh một loại ngôn ngữ hoàn chỉnh …

16 computability  turing-machines 

Cho một ngôn ngữ L được xác định bởi Máy Turing quyết định ngôn ngữ đó, liệu có thể xác định thuật toán liệu L có nằm trong NP không?

15 cc.complexity-theory  computability  turing-machines 

Từ quan điểm toán học / lý luận tính toán hoàn toàn trừu tượng, người ta thậm chí có thể khám phá hoặc suy luận về các vấn đề như 3-SAT, Subset Sum, Nhân viên bán hàng du lịch, v.v.? Chúng ta thậm chí có thể suy luận về chúng …

15 soft-question  lambda-calculus  turing-machines  functional-programming  np 

Liên quan đến câu hỏi này, tôi tự hỏi: độ phức tạp thời gian của máy Turing một đầu băng đơn để tính độ dài đầu vào của nó là bao nhiêu? Để cụ thể, giả sử rằng bảng chữ cái băng là , đầu vào là một chuỗi trong …

13 turing-machines 

Có bằng chứng nào cho thấy việc mô phỏng máy Turing trên máy Turing không biết gì không thể được thực hiện trong ít hơn trong đó là số bước mà máy Turing sử dụng ? Hay đây chỉ là một giới hạn trên?O ( m logm )Ôi(mđăng nhập⁡m)\mathcal{O}\left(m\log m\right)mmm …

13 cc.complexity-theory  turing-machines 

Nói một cách đơn giản: sự tương ứng giữa các máy Turing với các nhà tiên tri và các họ mạch thống nhất với các nhà tiên tri là gì? Làm thế nào cái sau được định nghĩa để có được mô hình tính toán tương tự, cho một máy …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

Có một máy Turing nào có thể quyết định liệu hầu hết các máy Turing khác có dừng lại không? Giả sử chúng ta có một số phép liệt kê của máy Turing và một số khái niệm về "kích thước" của một tập hợp các số tự nhiênvà chúng …

12 turing-machines  halting-problem 

Định lý phân cấp thời gian nói rằng máy turing có thể giải quyết nhiều vấn đề hơn nếu chúng có (đủ) nhiều thời gian hơn. Liệu nó có giữ theo một cách nào đó nếu không gian bị giới hạn không có triệu chứng? Làm thế nào để liên …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

Vấn đề tạm dừng nổi tiếng là không thể giải quyết được. Tuy nhiên, có thể "nén" thông tin theo cấp số nhân về vấn đề tạm dừng, do đó việc giải nén nó là có thể tính toán được. Chính xác hơn, có thể tính toán từ mô tả …

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

Tôi khá chắc chắn rằng tôi không phải là người đầu tiên giải trí ý tưởng mà tôi sẽ trình bày. Tuy nhiên, sẽ rất hữu ích nếu tôi có thể tìm thấy bất kỳ tài liệu nào liên quan đến ý tưởng. Ý tưởng là xây dựng một Turing …

12 reference-request  turing-machines  p-vs-np 

Xác định là lớp ngôn ngữ có thể được chấp nhận bởi một máy Turing (multitape) trong thời gian . (" " chỉ để đơn giản hóa ký hiệu và tránh nhầm lẫn.) Lưu ý rằng không có xung quanh .DTIME(f(n))DTIME(f(n))\mathsf{DTIME}(f(n))f(n)+1f(n)+1f(n) + 1+1+1+ 1O(⋅)O(⋅)O(\cdot)f(n)+1f(n)+1f(n) + 1 Có đúng là không?DTIME(n)=DTIME(2n)DTIME(n)=DTIME(2n)\mathsf{DTIME}(n) …

12 cc.complexity-theory  time-complexity  turing-machines  time-hierarchy 

Sau khi đọc một câu hỏi liên quan , về các bằng chứng tồn tại phi xây dựng của các thuật toán, tôi đã tự hỏi liệu có phương pháp nào cho thấy sự tồn tại của các máy tính "nhỏ" (nói, thông thái) mà không thực sự xây dựng …

11 cc.complexity-theory  automata-theory  turing-machines 

Tôi đang tìm kiếm một ngôn ngữ nhỏ giúp 'thuyết phục' sinh viên rằng máy turing là một mô hình điện toán đủ chung. Đó là, một ngôn ngữ trông giống như ngôn ngữ mà họ đã quen, nhưng cũng dễ dàng mô phỏng trên một máy turing. Papadimitriou sử …

11 turing-machines 

Trả lời: không biết Rất cám ơn tất cả những người đã giúp tinh chỉnh câu hỏi này và các định nghĩa liên quan đến nó. Các định nghĩa của wiki này đã cung cấp điểm khởi đầu cho wiki TCS gần đây hơn " P có chứa các ngôn …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

Robin Gandy là một học sinh của Alan Turing . Gandy đã thực hiện một phân tích về Công cụ phân tích của Babbage (xem 'Gandy - Sự kết hợp của các ý tưởng vào năm 1936' được trích dẫn trong 'Herken, Rolf - The Turing Machine Universal Một cuộc …

10 turing-machines  universal-computation  charles-babbage