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

Theo biểu đồ này , DCFL được đóng dưới sự đảo ngược. Tuy nhiên, tôi không bị thuyết phục vì bằng chứng trực quan (đảo ngược mũi tên của máy trạng thái hữu hạn kiểm soát và chuyển đổi các lần đẩy và bật) cho điều này dường như phụ …

8 formal-languages  context-free  closure-properties  pushdown-automata  nondeterminism 

Tôi đã cố gắng trong một thời gian dài để tìm một công trình để tôi có thể chính thức chứng minh rằng một thiết bị PDA xác định được đóng lại dưới sự bổ sung. Tuy nhiên, điều xảy ra là mọi ý tưởng tôi có đều có thứ …

8 formal-languages  automata  closure-properties  pushdown-automata 

Các slide bài giảng này phác họa một bằng chứng rằng không thể được chấp nhận bởi bất kỳ Đẩy lùi xác định nào Máy tự động. Thật không may, các slide không đưa ra tài liệu tham khảo nào về việc bằng chứng đến từ đâu.L={anbn∣n≥0}∪{anb2n∣n≥0}L={anbn∣n≥0}∪{anb2n∣n≥0}L=\{ a^n b^n \mid …

8 formal-languages  reference-request  automata  pushdown-automata  nondeterminism 

Xác định sự tương đương Nerode trên một ngôn ngữ là iff cho mọi .L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^{*}u∼Lvu∼Lvu \sim_L vuw∈L⇔vw∈Luw∈L⇔vw∈Luw \in L \Leftrightarrow vw \in Lw∈Σ∗w∈Σ∗w \in \Sigma^{*} Tương đương Nerode có nhiều lớp tương đương chính xác khi có thể được nhận dạng bởi một máy tự động trạng thái …

8 formal-languages  context-free  pushdown-automata 

Có phải ngôn ngữ L={0n1m∣n and m are co-prime}L={0n1m∣n and m are co-prime} L = \{0^n 1^m \mid n \text{ and } m \text{ are co-prime}\} ngữ cảnh? Tôi đoán rằng nó không phải là bối cảnh miễn phí vì có vẻ như quá phức tạp đối với một thiết …

8 formal-languages  context-free  pumping-lemma  pushdown-automata 

Đặt A ={L∣Llà một quầy và L¯ cũng là một quầy}A={L|Llà một quầy và L¯ cũng là một quầy}A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \} Rõ ràng,Một quầy quyết định ⊆ AMột quầy quyết định⊆Một\text{Deterministic one-counter} \subseteq A Đây có phải là trường hợp mà …

8 formal-languages  automata  closure-properties  pushdown-automata 

Làm thế nào để tôi chỉ ra rằng vấn đề quyết định xem một thiết bị PDA có chấp nhận một số chuỗi có dạng không thể giải quyết được không?{ w ! w ∣ w ∈ { 0 , 1 }*}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} …

8 formal-languages  automata  context-free  undecidability  pushdown-automata 

L={an(a+b)n|n>0}L={an(a+b)n|n>0}L = \{ a^n (a+b)^n | n>0\} Một cuốn sách tôi đang đọc nói rằng, nhưng xem xét chúng ta không thể biết phần thứ hai sẽ bắt đầu từ đâu và nó cũng có thể bắt đầu bằng một phần, vậy thì làm sao chúng ta có thể chấp …

8 formal-languages  automata  context-free  pushdown-automata 

Tôi đang tham gia một lớp lý thuyết máy tính và giáo sư của tôi đã nói với chúng tôi rằng một máy tự động đẩy xuống không thể sử dụng các cấu trúc dữ liệu ngoài một ngăn xếp (như một hàng đợi hoặc nhiều ngăn xếp). Tại sao …

7 automata  pushdown-automata  computation-models 

Làm thế nào để bạn chứng minh rằng ngôn ngữ của palindromes dài, tức là, L = { wwR| W ∈{ 0 , 1 }*}L= ={wwR|w∈{0,1}*}L=\left\{ ww^R \mid w\in \left\lbrace 0,1 \right\}^* \right\}, không thể được chấp nhận bởi một quyết định Đẩy xuống tự động? Có cách nào chung …

7 context-free  pushdown-automata 

Tôi đang xem xét bài kiểm tra giữa kỳ của mình và muốn đăng bài này để xem có ai có thể phát hiện ra bất kỳ lỗi nào không. Tôi phải tạo ra một thiết bị nhận dạng CFG này: SR→ R 1 R 1 R 1→ 0 R …

7 formal-languages  automata  context-free  pushdown-automata