turing-machines

8Nhiệt

2Trả lời

Turing đầy đủ tính toán lambda?

Làm thế nào để bạn tranh luận cho thực tế là tính toán lambda là Turing hoàn thành (theo cách đơn giản nhất có thể)?

theory turing-machines turing-complete computability 2012-03-08

---

5Nhiệt

1Trả lời

Tính khả dụng và tính đệ quy

Giả sử tồn tại máy Turing M1, M2, M3, các ngôn ngữ mà chúng nhận dạng là L (M1), L (M2) và L (M3) tương ứng. Ngôn ngữ sau L = {(M1, M2, M3): L (M1), L (M2) và L (M3) không bằng nhau} Ngôn ngữ có thể g

computer-science theory turing-machines computability 2012-03-10

---

6Nhiệt

3Trả lời

Máy turing có khái niệm 'thời gian' không?

Tôi đã nghiên cứu lý thuyết máy turing cơ bản như một đại học. Tôi chưa bao giờ thấy bất kỳ đề cập đến một maching turing timed. Một ví dụ: một máy turing đếm số giây trôi qua kể từ khi nó bắt đầu. Má

language-agnostic time turing-machines 2012-06-22

---

8Nhiệt

1Trả lời

Tất cả các ngôn ngữ đã biết mà máy Turing không thể chấp nhận là gì?

Đối với example, ngôn ngữ của máy Turing không chấp nhận mã hóa riêng của chúng không thể được chấp nhận bởi bất kỳ máy Turing nào.

theory turing-machines computability 2012-06-26

---

6Nhiệt

1Trả lời

PI có phải là số tính toán được không?

AFAIK, các số có thể tính toán được là các số có chỉ số i-th có thể được trả về bằng Máy Turing. Vì vậy, một số không thể tính được sẽ giống như một số có dấu thập phân được quyết định nếu một số chươ

numbers turing-machines computability 2010-11-09

---

5Nhiệt

3Trả lời

Máy turing đơn giản của tôi

Tôi đang cố gắng hiểu và triển khai máy turing đơn giản nhất và muốn nhận phản hồi nếu tôi có ý nghĩa. Chúng tôi có một băng vô hạn (cho phép nói một mảng gọi là T với con trỏ ở mức 0 ở đầu) và bảng h

language-agnostic turing-machines 2010-09-22

---

9Nhiệt

4Trả lời

Máy Turing là một thiết bị thực hay một khái niệm tưởng tượng?

Khi tôi đang nghiên cứu về máy Turing và PDA, tôi đã nghĩ rằng thiết bị tính toán đầu tiên là máy Turing. Do đó, tôi nghĩ rằng có một máy thực tế được gọi là máy Turing và các trạng thái của nó có thể

theory turing-machines 2011-09-09

---

10Nhiệt

1Trả lời

Siêu đại diện có thể đại diện cho máy Turing không xác định không?

Có ai biết về bất kỳ giấy tờ, văn bản, hoặc các tài liệu khác thảo luận bằng cách sử dụng một siêu đồ thị để thực hiện hoặc đại diện cho một máy Turing không xác định? Họ có thực tế tương đương không?

theory distributed graph-theory turing-machines 2012-03-31

---

5Nhiệt

3Trả lời

Làm thế nào để biết máy có phải là máy Turing tương đương

Tôi đã tìm thấy bài viết trên Wikipedia là a list of Turing machine equivalents. Tuy nhiên, nó không nói một phương pháp làm thế nào để xác định xem một máy đã cho là máy Turing tương đương hay không.

turing-machines computation-theory 2011-01-10

---

14Nhiệt

2Trả lời

Sự khác biệt giữa Turing-Decidable và Co-Turing-Decidable

Tôi thực sự đấu tranh với sự hiểu biết về sự khác biệt giữa hai điều này. Từ sách giáo khoa của tôi, về cơ bản, nó mô tả sự khác biệt bằng cách nói rằng một ngôn ngữ được đồng hóa để nhận ra nếu nó bổ

theory turing-machines computation-theory 2012-04-05

---