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

Để kỷ niệm sinh nhật của Alan Turing, Google đã xuất bản một hình tượng trưng cho thấy một chiếc máy. Những loại máy của doodle là gì? Nó có thể diễn đạt một ngôn ngữ Turing Complete không? Có sự khác biệt rõ ràng đối với máy turing cổ …

10 cc.complexity-theory  turing-machines 

Tôi là một sinh viên bậc thầy tập trung vào các hệ thống phân tán nhưng cũng quan tâm đến khoa học máy tính lý thuyết. Tôi đã tự hỏi nếu có một đại diện chính thức của một hệ thống phân tán trên đầu máy Turing? Đó là, có …

10 turing-machines  dc.distributed-comp 

Tôi đã chơi với câu hỏi rất thú vị và vẫn còn mở " Bảng chữ cái của máy Turing băng đơn " (của Emanuele Viola) và đưa ra ngôn ngữ sau: L = { x ∈ { 0 , 1 }n thứ | x | = n = 2m …

10 cc.complexity-theory  turing-machines  time-complexity 

Hầu hết các tài liệu dường như quan tâm đến các máy có các phép lạ duy nhất cho các vấn đề cụ thể, tuy nhiên dường như có một vài bài báo xem xét các máy có nhiều phép lạ. Có một bài báo hay luận án tốt cung …

10 oracles  turing-machines 

Có một thời gian tôi tò mò về Turing Machines với chính xác một băng và chính xác 3 trạng thái (cụ thể là trạng thái bắt đầu q0q0q_0 , trạng thái chấp nhận qacceptqacceptq_{accept} và trạng thái từ chối qrejectqrejectq_{reject} ). Lưu ý rằng tôi cho phép bảng chữ …

9 automata-theory  turing-machines  cellular-automata 

Do automata giới hạn tuyến tính không giới hạn truy cập chỉ nhận dạng ngôn ngữ thông thường? Bởi một máy tự động giới hạn tuyến tính không giới hạn (nLBA) Tôi có nghĩa là một máy Turing không phá hủy băng đơn trong đó đầu vào được "đệm" với …

9 automata-theory  turing-machines  regular-language  space-bounded 

Tôi có một câu hỏi ngây thơ: có tồn tại một máy Turing mà sự chấm dứt của nó là đúng nhưng không thể chứng minh được bằng bất kỳ lý thuyết axiomatizable tự nhiên, nhất quán và hữu hạn nào không? Tôi yêu cầu một bằng chứng tồn tại …

9 turing-machines  proof-theory  halting-problem 

Tôi đang tìm cách viết một cuộc khảo sát về phương pháp biểu diễn tính năng động của tính toán dựa trên trạng thái trong khuôn khổ của các khối than. Cho đến nay tôi đã tìm được các bài báo về các biểu diễn đại số của DFA, NFA, …

9 automata-theory  turing-machines  algebra  automated-theorem-proving 

Có một sự khái quát của trò chơi GO được biết là hoàn thành Turing không? Nếu không, bạn có một số gợi ý về các quy tắc (khái quát hóa) hợp lý có thể được sử dụng để cố gắng chứng minh rằng nó đã hoàn thành? Một điều …

8 computability  turing-machines