Câu hỏi được gắn thẻ «linear-bounded-automata»

Đị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 

Tôi đã đọc trên Wikipedia và một số văn bản khác Vấn đề tạm dừng là [...] có thể quyết định đối với máy tự động giới hạn tuyến tính (LBA) [và] máy xác định có bộ nhớ hữu hạn. Nhưng trước đó người ta viết rằng vấn đề tạm …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

Tôi có ấn tượng rằng các máy tính của chúng ta, là hữu hạn, cuối cùng không mạnh hơn các máy trạng thái hữu hạn (cực kỳ lớn). Tuy nhiên, Máy Turing tuyến tính cũng rất hữu hạn, nhưng có vẻ như Ngôn ngữ thông thường hoàn toàn là một …

11 finite-automata  computation-models  linear-bounded-automata