Khoa học máy tính turing-machines

6

Có sự tương tự vật lý với Turing Machine không?

Gần đây trong lớp CS của tôi, tôi đã được giới thiệu về Máy Turing. Sau giờ học, tôi đã dành hơn 2 giờ để cố gắng tìm hiểu mối quan hệ giữa băng và máy. Tôi hoàn toàn không biết về sự tồn tại của băng máy tính hay …

27 turing-machines computation-models

5

Sự khác biệt giữa máy turing và máy trạng thái hữu hạn?

Tôi đang trình bày về máy Turing và tôi muốn cung cấp một số thông tin cơ bản về FSM trước khi giới thiệu Máy Turing. Vấn đề là, tôi thực sự không biết RẤT khác nhau là gì. Đây là những gì tôi biết nó khác nhau: FSM có …

27 terminology turing-machines finite-automata machine-models

5

Tầm quan trọng thực tế của máy Turing?

Tôi là một kỹ sư điện, và chỉ có một khóa học CS ở trường đại học 26 năm trước. Tuy nhiên, tôi cũng là một người dùng Mathicala tận tụy. Tôi có cảm giác rằng Turing Machines rất quan trọng trong khoa học máy tính. Là tầm quan trọng …

27 turing-machines

6

Đầu vào của máy Turing có thể có chiều dài vô hạn không?

Xét chỉ bảng chữ cái , các chuỗi có thể được đưa ra là đầu vào cho các máy Turing là từ tập Σ * . Nhưng nó có ý nghĩa cho đầu vào là một chuỗi nhị phân vô hạn? Ví dụ: nếu máy Turing chấp nhận tất cả …

26 turing-machines

4

Bằng chứng về tính không ổn định của vấn đề dừng

Tôi đang gặp khó khăn trong việc tìm hiểu bằng chứng về tính không ổn định của Vấn đề Ngừng. Nếu trả về việc chương trình có dừng lại ở đầu vào b hay không , tại sao chúng ta phải truyền mã của P cho cả a và b …

25 computability turing-machines

6

Định nghĩa ngôn ngữ đệ quy và đệ quy cho một giáo dân

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính lý thuyết bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính. Di cư 6 năm trước . Tôi đã bắt gặp nhiều định nghĩa về ngôn …

24 formal-languages computability turing-machines

4

Các ngôn ngữ không thể giải quyết tồn tại trong logic kiến tạo?

Logic xây dựng là một hệ thống loại bỏ Định luật trung gian bị loại trừ, cũng như phủ định kép, như các tiên đề. Nó được mô tả trên Wikipedia ở đây và ở đây . Cụ thể, hệ thống không cho phép chứng minh bằng mâu thuẫn. Tôi …

24 formal-languages turing-machines logic proof-techniques undecidability

1

Máy tính lượng tử và máy Turing: Máy Turing có còn là thước đo chính xác không?

Trong lớp học tuần trước, giáo sư của tôi đã nhận xét và nói rằng máy Turing được sử dụng như một thước đo / mô hình chuẩn của những gì có thể tính toán được và là cơ sở thảo luận hữu ích cho chủ đề đó. Cô cũng …

24 turing-machines quantum-computing

5

Tại sao các ngôn ngữ chức năng Turing hoàn thành?

Có lẽ sự hiểu biết hạn chế của tôi về chủ đề này là không chính xác, nhưng đây là những gì tôi hiểu cho đến nay: Lập trình chức năng dựa trên Lambda Tính, được xây dựng bởi Alonzo Church. Lập trình bắt buộc dựa trên mô hình máy …

22 computability turing-machines programming-languages lambda-calculus turing-completeness

4

Liệu một máy không bao giờ dừng lại luôn luôn lặp?

Một máy Turing trở về trạng thái đã gặp trước đó với đầu đọc / ghi của nó trên cùng một ô của cùng một băng chính xác sẽ bị bắt trong một vòng lặp. Một cái máy như vậy không dừng lại. Ai đó có thể đưa ra một …

22 computability turing-machines halting-problem

5

Vấn đề dừng có thể được giải quyết trên thang máy bằng cách thoát khỏi một mô tả cấp cao hơn về tính toán?

Gần đây tôi đã nghe một sự tương tự thú vị nói rằng bằng chứng của Turing về tính không ổn định của vấn đề tạm dừng rất giống với nghịch lý thợ cắt tóc của Russell. Vì vậy, tôi đã tự hỏi: các nhà toán học cuối cùng đã …

21 computability turing-machines computation-models halting-problem

2

Các vấn đề có thể đòi hỏi thời gian bậc hai

Tôi đang tìm kiếm các ví dụ về vấn đề có giới hạn dưới của ) cho đầu vào . xΩ ( | x |2Ω(|x|2\Omega(|x|^2xxx Vấn đề cần phải có các thuộc tính sau: Ω ( n2)Ω(n2)\Omega(n^2)Bằng chứng thời gian chạy cho bất kỳ thuật toán nào - ưu tiên …

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

1

Làm cách nào tôi có thể chuyển đổi máy Turing nhận dạng ngôn ngữ

Theo bài viết Wikipedia này , ngữ pháp không giới hạn tương đương với máy Turing. Bài viết lưu ý rằng tôi có thể chuyển đổi bất kỳ máy Turing nào thành ngữ pháp không hạn chế, nhưng nó chỉ cho thấy cách chuyển đổi ngữ pháp sang máy Turing. …

19 formal-grammars turing-machines simulation

2

Là một máy Turing không có khả năng ghi trên các ô trống kém mạnh hơn Turing tiêu chuẩn?

Là một máy Turing không có khả năng ghi trên các ô trống kém mạnh hơn Turing tiêu chuẩn? Tôi nghĩ câu trả lời là có nhưng tôi không thể tìm thấy một tính toán mà máy Turing tiêu chuẩn có thể làm được nhưng máy này thì không. Có …

18 formal-languages turing-machines computability automata

4

Xác định vấn đề tạm dừng cho automata không xác định

Định nghĩa chính của máy Turing (TM), ít nhất là trong sách giáo khoa tham khảo của riêng tôi (Hopcroft + Ullman 1979) mang tính quyết định. Do đó sự hiểu biết của riêng tôi về vấn đề tạm dừng chủ yếu dành cho TM xác định, mặc dù tôi …

18 turing-machines automata nondeterminism halting-problem linear-bounded-automata

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