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

Lý thuyết tự động, bao gồm các máy trừu tượng, ngữ pháp, phân tích cú pháp, suy luận ngữ pháp, chuyển đổi và các kỹ thuật trạng thái hữu hạn

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 …
1
Hệ thống phân cấp hợp lý của các ngôn ngữ và ngôn ngữ tự động phi quốc gia - bây giờ nó ở đâu?
Trong phần mở đầu cho những cuốn sách rất có ảnh hưởng của mình Automata, Languages ​​and Machines (Tập A, B), Samuel Eilenberg đã trêu chọc các Tập C và D liên quan đến "một hệ thống phân cấp (được gọi là hệ thống phân cấp hợp lý) của các …
2
Là {
Là ngôn ngữ { } bối cảnh miễn phí hay không?aibjck | i≠j,i≠k,j≠kaibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k Tôi nhận ra rằng tôi đã gặp phải hầu hết các biến thể của câu hỏi này với các điều kiện khác nhau về mối …
2
Điều kiện để phổ cập NFA
Hãy xem xét một automata hữu hạn không xác định A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F) và một hàm f(n)f(n)f(n) . Ngoài ra chúng tôi xác định Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i . Bây giờ hãy phân tích các tuyên bố sau: Nếu Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A) …
4
Có một mô hình tính toán không hoàn chỉnh Turing nào mà vấn đề tạm dừng là không thể giải quyết được không?
Tôi không thể nghĩ về bất kỳ mô hình như vậy, có thể một số hình thức tính toán lambda gõ? một số tự động tế bào tiểu học? Điều này gần như sẽ bác bỏ "Nguyên tắc tương đương tính toán" của Wolfram: Hầu như tất cả các quy …
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.