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

Tôi đang cố gắng liên kết Mạch logic kết hợp (máy tính chỉ dựa trên cổng logic) với mọi thứ tôi đã học gần đây trong Lý thuyết tính toán. Tôi đã tự hỏi liệu các mạch logic tổ hợp có thể thực hiện các tính toán theo cùng một …

8 complexity-theory  turing-machines  computation-models  circuits 

PC của chúng tôi có hoạt động như Turing Machine không? Mô hình của Máy Turing bao gồm băng nhớ vô hạn, có nghĩa là trạng thái vô hạn. Nhưng giả sử nếu PC của chúng ta có bộ nhớ 128 MB và đĩa 30 GB thì nó sẽ có …

8 complexity-theory  computability  turing-machines  automata 

Tôi có một vấn đề nhỏ để hiểu bằng chứng của Định lý phân cấp thời gian (Hennie và Stearns, 1966) đảm bảo sự tồn tại của một ngôn ngữ được chấp nhận trong nhưng không được chấp nhận trong cho bất kỳ chức năng nào , sao cho có …

8 complexity-theory  turing-machines  simulation 

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 

Tôi đã thấy tuyên bố sau đây và tôi hoàn toàn không hiểu lý do đằng sau nó: Nếu một máy Turing lặp lại cùng một cấu hình hai lần, thì nó phải ở trong một vòng lặp vô hạn. Tôi nghĩ rằng một có thể ở trạng thái , …

8 complexity-theory  turing-machines 

Trong tính phức tạp tính toán: Cách tiếp cận hiện đại của Arora và Barak , nó đã đề cập rằng Tuy nhiên, chúng tôi sẽ yêu cầu vì băng công việc có độ dài và chúng tôi muốn máy ít nhất có thể nhớ chỉ mục của ô của …

8 complexity-theory  turing-machines  space-complexity 

Để 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 

Tôi hy vọng câu hỏi của tôi có ý nghĩa: Bắt đầu với tiền đề rằng việc tháo gỡ λλ\lambda tính toán tương đương với sức mạnh của máy Turing, với những gì trong máy Turing không thêm các loại vào λλ\lambda tính toán tương ứng? Có một số loại …

8 turing-machines  lambda-calculus  type-theory  church-turing-thesis 

Người ta nói rằng "Máy Turing không nhằm mục đích là công nghệ điện toán thực tế, mà là một thiết bị giả thuyết đại diện cho máy tính. Máy Turing giúp các nhà khoa học máy tính hiểu được giới hạn của tính toán cơ học." [Wikipedia] Vì vậy, …

8 turing-machines  computer-architecture  machine-models 

Tôi đang cố gắng tấn công TAOCP một lần nữa, vì sự nặng nề theo nghĩa đen của các tập tôi gặp khó khăn khi thực hiện nó một cách nghiêm túc. Trong TAOCP 1 Knuth viết, trang 8, các khái niệm cơ bản :: Để cho AAAlà một tập …

7 formal-languages  turing-machines  computation-models 

Có ai biết máy Turing đầu tiên hiệu quả như thế nào không? Ý tôi là có bao nhiêu động tác đã làm trong một giây hoặc lâu hơn ... Tôi chỉ tò mò. Cũng không thể tìm thấy bất kỳ thông tin về nó trên web.

7 turing-machines 

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 

Có một định nghĩa tương đương cho lớp NLNL\mathsf{NL}với người xác minh. Những người xác minh là những máy Turing xác định chỉ có thể đọc băng chứng kiến ​​một lần theo một cách từ trái sang phải. Cho một chức năng f: N → Nf:N→Nf:\mathbb{N}\to\mathbb{N} chúng tôi nói rằng …

7 complexity-theory  turing-machines  nondeterminism 

Đâ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