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

5

Mối quan hệ giữa máy Turing và phép tính Lambda?

Có mối quan hệ nào giữa Máy Turing và máy tính Lambda - hay chúng chỉ xảy ra để phát sinh cùng một lúc?

49 computability  lambda-calculus  turing-machines 

---

2

Lý thuyết khả thi: sự khác biệt về sức mạnh giữa tính toán Lambda và Máy Turing

Tôi có ba câu hỏi con liên quan, được đánh dấu bằng các gạch đầu dòng bên dưới (không, chúng không thể bị chia tách, nếu bạn đang tự hỏi). Ở đây , Andrej Bauer đã viết rằng một số chức năng có thể thực hiện được thông qua máy …

48 computability  lambda-calculus  turing-machines 

---

5

Lý do lịch sử cho việc áp dụng Turing Machine làm mô hình tính toán chính.

Theo hiểu biết của tôi, mô hình của Turing đã trở thành "tiêu chuẩn" khi mô tả tính toán. Tôi muốn biết lý do tại sao lại như vậy - đó là lý do tại sao mô hình TM trở nên được sử dụng rộng rãi hơn so với các …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

---

10

Máy tính thật chỉ có số lượng trạng thái hữu hạn, vậy sự liên quan của máy Turing với máy tính thật là gì?

Máy tính thực có bộ nhớ hạn chế và chỉ có một số trạng thái hữu hạn. Vì vậy, về cơ bản chúng là automata hữu hạn. Tại sao các nhà khoa học máy tính lý thuyết sử dụng máy Turing (và các mô hình tương đương khác) để nghiên …

42 soft-question  fl.formal-languages  automata-theory  big-picture  turing-machines 

---

2

Bảng chữ cái của máy Turing băng đơn

Can mỗi chức năng đó là tính toán trong thời gian t trên một đơn băng máy Turing sử dụng một bảng chữ cái kích thước k = O ( 1 ) được tính trong thời gian O ( t ) trên một single-băng máy Turing sử dụng một bảng …

40 computability  turing-machines 

---

7

Trình tạo số ngẫu nhiên thực sự: Turing tính toán?

Tôi đang tìm kiếm một câu trả lời dứt khoát về việc liệu việc tạo ra các số "thực sự ngẫu nhiên" có phải là tính toán hay không. Tôi không biết làm thế nào để diễn đạt chính xác điều này. Câu hỏi StackExchange này về "các thuật toán …

39 reference-request  computability  turing-machines  randomness 

---

7

Khả năng ứng dụng luận án Church-Turing vào các mô hình tính toán tương tác

Paul Wegner và Dina Goldin trong hơn một thập kỷ đã xuất bản các bài báo và sách tranh luận chủ yếu rằng luận án Church-Turing thường bị xuyên tạc trong cộng đồng Lý thuyết CS và các nơi khác. Đó là, nó được trình bày dưới dạng bao gồm …

38 computability  turing-machines  machine-models  church-turing-thesis 

---

3

Giải thích các lớp P và NP thông qua lambda-compus

Trong phần giới thiệu và giải thích các lớp phức tạp P và NP thường được đưa ra thông qua máy Turing. Một trong những mô hình tính toán là phép tính lambda. Tôi hiểu rằng tất cả các mô hình tính toán đều tương đương (và nếu chúng tôi …

36 cc.complexity-theory  complexity-classes  turing-machines  lambda-calculus 

---

3

Turing Machine hạn chế khiến cho tạm dừng có thể quyết định

Nếu người ta hạn chế Máy Turing trong một băng hữu hạn (nghĩa là sử dụng không gian giới hạn ), thì vấn đề tạm dừng là có thể quyết định, về cơ bản là vì sau một số bước (có thể được tính từ số trạng thái Q , …

33 turing-machines  decidability 

---

6

Máy Turing phổ dụng 2 trạng thái không gây tranh cãi nhất là gì?

Tôi muốn mã hóa một máy Turing đơn giản theo luật chơi bài. Tôi muốn biến nó thành một cỗ máy Turing phổ quát để chứng minh sự hoàn chỉnh của Turing. Cho đến nay tôi đã tạo một trạng thái trò chơi mã hóa máy Turing 2 trạng thái, …

31 computability  turing-machines  universal-computation 

---

4

Một máy Turing xác suất có thể giải quyết vấn đề tạm dừng?

Một máy tính được cung cấp một luồng vô hạn các bit thực sự ngẫu nhiên mạnh hơn một máy tính không có. Câu hỏi là: nó có đủ mạnh để giải quyết vấn đề tạm dừng không? Đó là, một máy tính xác suất có thể xác định liệu …

29 computability  randomness  turing-machines 

---

1

Các chức năng không thể tính toán hiệu quả nhưng có thể học được

Chúng ta biết rằng (xem, ví dụ, Định lý 1 và 3 của [1]), nói một cách đại khái, trong các điều kiện phù hợp, các chức năng có thể được tính toán hiệu quả bằng máy Turing trong thời gian đa thức ("tính toán hiệu quả") có thể được …

28 cc.complexity-theory  np-hardness  machine-learning  turing-machines  lg.learning 

---

2

Hệ thống F có thể không tính toán những chức năng nào?

Trong bài viết trên wikipedia về Turing Hoàn thiện này có ghi rằng: Phép tính lambda chưa được đánh dấu là Turing hoàn chỉnh, nhưng nhiều phép tính lambda được gõ, bao gồm cả Hệ thống F, thì không. Giá trị của các hệ thống được nhập dựa trên khả …

28 computability  turing-machines  haskell 

---

1

Có một hệ thống chứng minh tự động hợp lý cho các định lý TCS không?

Giả sử tôi muốn chính thức hóa bằng chứng của Turing liên quan đến vấn đề tạm dừng để máy có thể kiểm tra. Một số hệ thống chứng minh định lý tự động nổi tiếng bao gồm Mizar, Coq và HOL4. Tôi đã tải xuống và thử nghiệm với …

28 lo.logic  turing-machines  software  proof-assistants  automated-theorem-proving 

---

6

Sức mạnh tính toán tối đa của việc thực hiện C

Nếu chúng ta đi theo cuốn sách (hoặc bất kỳ phiên bản nào khác của đặc tả ngôn ngữ nếu bạn thích), thì việc triển khai C có thể có bao nhiêu sức mạnh tính toán? Lưu ý rằng việc triển khai của C C có một ý nghĩa kỹ …

28 computability  turing-machines  pl.programming-languages  recreational 

---