Câu hỏi được gắn thẻ «fl.formal-languages»

ngôn ngữ chính thức, ngữ pháp, lý thuyết automata



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) …



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 cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.