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

Sử dụng vectơ Earley làm công cụ nhận dạng khá đơn giản: khi kết thúc chuỗi, bạn chỉ cần kiểm tra sản xuất tiên đề đã hoàn thành bắt đầu ở vị trí 0. Nếu bạn có ít nhất một, thì chuỗi được chấp nhận. Sử dụng vectơ Earley để …

9 context-free  dynamic-programming  parsers  ambiguity  syntax-trees 

Có bất kỳ bộ quy tắc hoặc phương pháp nào để chuyển đổi bất kỳ ngữ pháp miễn phí ngữ cảnh nào thành tự động đẩy xuống không? Tôi đã tìm thấy một số slide trực tuyến nhưng tôi không thể hiểu chúng. Trong slide 10 anh ấy nói về …

9 context-free  formal-grammars  pushdown-automata  simulation 

Ở trường đại học, chúng tôi đã học về lý thuyết tính toán nói chung và máy Turing cụ thể hơn. Một trong những kết quả lý thuyết tuyệt vời là với chi phí của một bảng chữ cái (ký hiệu) có khả năng lớn, bạn có thể giảm số …

9 turing-machines  context-free  parsers 

Tôi gặp phải vấn đề này liên quan đến việc thao túng một ngôn ngữ không ngữ cảnh. Đặt là ngôn ngữ không ngữ cảnh. Xác định với mọi . Là luôn bối cảnh là miễn phí? Tôi đoán là nó sẽ bảo tồn bối cảnh. Bất cứ ai có …

9 formal-languages  context-free 

Trong bài viết Phân tích biểu thức theo gốc đệ quy của Theodore Norvell (1999) , tác giả bắt đầu với ngữ pháp sau đây cho các biểu thức số học: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" …

9 formal-languages  context-free  formal-grammars  left-recursion 

Tôi muốn sử dụng sự giúp đỡ của bạn với vấn đề sau: L = { ⟨ M⟩ ∣ L ( M) không có ngữ cảnh }L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \} . rằng .L ∉ R E∪ Co R EL∉RE∪CoREL \notin RE \cup CoRE Tôi biết …

9 formal-languages  computability  context-free  turing-machines 

Tôi đang bị mắc kẹt khi giải bài tập tiếp theo: Lập luận rằng nếu có ngữ cảnh và là thường xuyên, thì (nghĩa là thương số đúng ) không có ngữ cảnh.LLLRRRL/R={w∣∃x∈Rs.twx∈L}L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} Tôi biết rằng …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata 

Gần đây tôi đã thảo luận với một người bạn về một trang web đề xuất các thách thức regex, chủ yếu khớp một nhóm từ với một thuộc tính đặc biệt. Anh ta đang tìm kiếm một regex khớp với các chuỗi như ||||||||số lượng số |nguyên tố. Tôi …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

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 

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 

Trong lớp học tuần này, chúng tôi đã học về CFL và các thuộc tính đóng của chúng. Tôi đã thấy bằng chứng cho sự hợp nhất, giao lộ và khen ngợi nhưng để đảo ngược, giảng viên của tôi chỉ nói rằng nó đóng cửa. Tôi muốn xem bằng …

8 context-free  closure-properties 

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à ngôn ngữ L = { a , b }*∖ { ( mộtnbn)n∣ n ≥ 1 }L= ={một,b}*∖{(mộtnbn)n|n≥1}L = \{a,b\}^* \setminus \{(a^nb^n)^n\mid n \geq1 \} bối cảnh miễn phí? Tôi tin rằng câu trả lời là nó không phải là CFL, nhưng tôi không thể chứng minh điều đó bằng …

8 formal-languages  context-free  pumping-lemma 

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