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

1

Có tồn tại một máy Turing chạy trong thời gian , nhưng không tồn tại không?

Được biết, bất kỳ máy Turing nào (xác định, một lần nhấn) chạy trong thời gian , sẽ quyết định một ngôn ngữ thông thường (ví dụ: xem liên kết này ). Do đó, tồn tại một máy Turing tương đương chạy trong thời gian . Nói cách khác, nếu …

7 complexity-theory  turing-machines  time-complexity 

---

2

Tâm trí có thể là một automata hữu hạn và vẫn phát minh ra máy Turing không?

Máy Turing được phát minh bởi một bộ óc con người. Có lẽ, không có gì mạnh hơn máy Turing có thể phát minh ra máy Turing. Tuy nhiên, một máy Turing có băng vô hạn, trong khi tâm trí nằm trong một vũ trụ hữu hạn, và do đó …

7 turing-machines 

---

2

Là máy turing và ngôn ngữ chính thức là cùng một đối tượng toán học?

Mục tiêu của Turing trong khi xây dựng khái niệm của mình là chính thức hóa cách con người thực hiện lý luận trừu tượng. Bây giờ hãy sửa tôi nếu tôi sai nhưng lý do đó dường như chỉ là một bài tập mà bạn thao tác một tập …

7 formal-languages  turing-machines 

---

2

Làm thế nào để máy Turing không điều kiện tính toán các vấn đề chức năng chung?

(Hy vọng điều này chưa được hỏi trước đây, nhưng tôi không tìm thấy gì cả.) Theo hiểu biết của tôi, thuyết không điều kiện chỉ áp dụng cho các vấn đề quyết định, do yêu cầu về sự tồn tại của một con đường chấp nhận . Trong Wikipedia, …

7 turing-machines  computation-models  nondeterminism 

---

1

Có một ví dụ về một ngôn ngữ đệ quy không nhạy cảm ngữ cảnh không?

Tôi đã tìm kiếm một ngôn ngữ nguyên mẫu cho các ngôn ngữ đệ quy (có thể quyết định) không có ngữ cảnh nhạy cảm nếu không thành công. Ví dụ, là nguyên mẫu của các ngôn ngữ thông thường, cho các ngôn ngữ không có ngữ cảnh và cho …

7 formal-languages  turing-machines  context-sensitive 

---

1

Hiểu về câu trả lời của Turing cho Entscheidungspropet

Tôi xin lỗi nếu câu hỏi này đã được hỏi trước đó, nhưng tôi không thể tìm thấy một bản sao. Tôi vừa đọc xong The Annotated Turing và tôi hơi bối rối. Theo những gì tôi hiểu, Entscheidungspropet là liệu một thuật toán có tồn tại hay không có …

7 computability  turing-machines  logic  decision-problem  incompleteness 

---

2

Chứng minh REGULAR_TM là không thể giải quyết được

Tôi đang nghiên cứu bằng chứng của định lý sau: Đưa ra ngôn ngữ R E G U L A RT M= { ⟨ M⟩ | MREGULARTM={⟨M⟩|M\mathit{REGULAR}_\mathit{TM} = \{\langle M \rangle | M là một máy turing và là thường xuyênA c c e p t (M)Accept(M)\mathit{Accept}(M)}}\} R E G …

7 computability  turing-machines  undecidability 

---

3

Bằng chứng xây dựng về tính quyết định của tập hợp kiểu dừng vấn đề hữu hạn không sử dụng tra cứu bảng

Tôi đã cố gắng chứng minh rằng ngôn ngữ sau là đệ quy: for , một số nguyên dương: L_k = H _ {\ mathrm {TM}, \ varepsilon} \ cap \ Sigma ^ k trong đó H_ { \ mathrm {TM}, \ varepsilon} = \ {\ langle M \ rangle …

7 computability  turing-machines  proof-techniques 

---

3

Định nghĩa chuẩn của máy Turing

Tôi đã theo dõi hai cuốn sách nổi tiếng về "Lý thuyết tự động và ngôn ngữ chính thức": Cuốn sách của Micheal Sipser Cuốn sách của Jeffrey Ullman và John Hopcroft trong cả hai cuốn sách, định nghĩa cấp độ của máy Turing khác nhau. Mặc dù mức độ …

7 terminology  turing-machines 

---

2

Khả năng tính toán bằng 0 cho một ngôn ngữ đơn giản

Giả sử chúng ta có một cây trong đó lá được dán nhãn với một tập hợp các số , và các nút nội bộ với một tập hợp các hoạt động .LLLOOO Cụ thể có thể là hoặc và có thể tùy ý chứa và / hoặc . có …

7 algorithms  turing-machines  real-numbers  equality 

---

2

Chúng ta có thể biểu diễn tất cả các chương trình máy tính dưới dạng biểu đồ không?

Tôi đã suy nghĩ vào một ngày khác, và tôi nhận ra rằng tất cả các chương trình máy tính dường như có thể biểu diễn dưới dạng biểu đồ (ví dụ cây cú pháp trừu tượng) hoặc, khi biểu thức chung được kết hợp, biểu đồ cú pháp trừu …

7 graphs  turing-machines  machine-models 

---

1

Làm thế nào để vẽ phần bù của Máy Turing?

Bây giờ tôi khá tự tin về cách tôi sẽ biến thứ gì đó thành Máy Turing. Bây giờ câu hỏi của tôi là làm thế nào để bạn chuyển đổi TM thành phần bổ sung của Turing Machine. Từ những gì tôi có thể nhớ trong Finite Automata, bổ …

7 turing-machines  automata  closure-properties 

---

2

Máy tính trong thế giới thực có sử dụng cơ chế Turing Machine không?

Tôi là một học sinh cấp ba trong lớp mười hai. Tôi học lập trình cấp cao, và một chút về khoa học máy tính cơ bản. Gần đây tôi đã bắt đầu hiểu Turing Machine là gì. Tôi muốn hỏi: Tôi hiểu rằng Turing Machine là một thiết bị …

7 turing-machines 

---

2

Máy trong P không thể bảo vệ?

Cho một máy Turing , chúng tôi nói rằng nếu ngôn ngữ do máy quyết định có thể được quyết định bởi một số máy trong thời gian đa thức. Chúng ta nói rằng nếu máy chạy trong thời gian đa thức. Lưu ý rằng có thể có máy chạy …

7 computability  time-complexity  turing-machines 

---

2

Bạn có thể thực hiện đảo ngược tại chỗ một chuỗi trên máy vani vani kịp thời không

Với máy Turing vanilla, ý tôi là máy Turing có một băng (không có băng đầu vào hoặc đầu ra đặc biệt). Vấn đề như sau: băng ban đầu trống, ngoài một chuỗi nnn 111cát 000s bị chấm dứt bởi một ký tự cuối chuỗi. Đầu băng bắt đầu ở …

7 complexity-theory  turing-machines  time-complexity  lower-bounds 

---