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

2

Sự quyết định của ngôn ngữ ngữ pháp và tự động

Lưu ý đây là một câu hỏi liên quan đến việc học trong khóa học CS tại một trường đại học, nó KHÔNG phải là bài tập về nhà và có thể tìm thấy ở đây trong kỳ thi Fall 2011. Đây là hai câu hỏi tôi đang xem từ …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

---

1

Giao lộ bối cảnh miễn phí với các ngôn ngữ thông thường

Giao điểm của ngôn ngữ tự do ngữ cảnh L với ngôn ngữ thông thường M, được cho là luôn luôn không có ngữ cảnh. Tôi hiểu bằng chứng xây dựng sản phẩm chéo, nhưng tôi vẫn không hiểu tại sao nó không có ngữ cảnh nhưng không thường xuyên. …

16 regular-languages  context-free  finite-automata  formal-grammars 

---

3

Ví dụ về một ngôn ngữ phi ngữ cảnh mà dù sao cũng có thể được bơm?

Vì vậy, về cơ bản L thỏa mãn các điều kiện của bổ đề bơm cho CFL nhưng không phải là CFL (điều đó là có thể theo định nghĩa của bổ đề).

15 formal-languages  context-free  pumping-lemma 

---

2

Các bộ Trước và Sau cho các ngữ pháp không ngữ cảnh có luôn không có ngữ cảnh không?

Đặt là một ngữ pháp không ngữ cảnh. Một chuỗi các thiết bị đầu cuối và không thuộc đầu cuối của được cho là một hình thức sentential của nếu bạn có thể lấy nó bằng cách áp dụng tác phẩm của zero hoặc thời gian hơn để các biểu …

14 formal-languages  context-free  formal-grammars  closure-properties 

---

3

Bạn sẽ nhận được gì nếu bạn thêm các tham số vào ngữ pháp miễn phí ngữ cảnh?

Tôi đã nghĩ về ngữ pháp cho các ngôn ngữ nhạy cảm với sự thay đổi và có vẻ như các ngữ pháp CF sẽ thực hiện thủ thuật nếu kết hợp với các tham số. Ví dụ, xem xét đoạn này cho ngữ pháp Python đơn giản hóa ở …

13 formal-languages  context-free  formal-grammars  parsers 

---

2

Là phần bổ sung của {ww | Vấu} không ngữ cảnh?

Xác định ngôn ngữ LLL là L = { một , b } * - { w w | w ∈ { một , b } * }L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - \{ww\mid w \in \{a, b\}^*\} . Nói cách khác, LLL chứa các từ không thể diễn tả như …

13 formal-languages  context-free  formal-grammars 

---

5

Làm thế nào là không ambuiguity khác với quyết định?

Tôi đang cố gắng hiểu ý nghĩa của "tính xác định" trong các biểu thức, chẳng hạn như "ngữ pháp không ngữ cảnh xác định". (Có nhiều "điều" mang tính quyết định hơn trong lĩnh vực này). Tôi sẽ đánh giá cao một ví dụ nhiều hơn sau đó giải …

13 context-free  formal-grammars  parsers 

---

1

Có ngữ cảnh , ngôn ngữ không thường xuyên , mà là ngôn ngữ thường xuyên không?

Tôi biết rằng có những ngôn ngữ không thông thường, do đó là thông thường, nhưng tất cả các ví dụ tôi có thể tìm thấy đều nhạy cảm với ngữ cảnh nhưng không có ngữ cảnh.L*L∗L^* Trong trường hợp không có làm thế nào để bạn chứng minh điều …

13 formal-languages  context-free  regular-languages 

---

2

Loại bỏ đệ quy trái trong ngữ pháp trong khi duy trì liên kết trái của toán tử

Tôi có một vấn đề với bài tập này: Đặt G là ngữ pháp mơ hồ sau đây cho phép tính: E → v | λv.E | EE | (E) Trong đó E là ký hiệu không đầu cuối duy nhất, λv.E đại diện cho sự trừu tượng viết biến …

13 context-free  formal-grammars  compilers  parsers 

---

3

Tầm quan trọng của các hình thức bình thường như hình thức bình thường Chomsky đối với CFG

Tôi hiểu rằng ngữ pháp không ngữ cảnh có thể được sử dụng để thể hiện các ngôn ngữ không ngữ cảnh. Nó có thể có sự mơ hồ. Chúng tôi cũng có các hình thức bình thường như Chomsky và Greibach hình thức bình thường. Tôi không thể hiểu …

12 formal-languages  context-free  formal-grammars  normal-forms 

---

2

Có phải tất cả các ngôn ngữ không ngữ cảnh và thông thường có hiệu quả quyết định?

Tôi đã xem qua con số này cho thấy các ngôn ngữ thông thường và không có ngữ cảnh là tập hợp con (phù hợp) của các vấn đề hiệu quả (được cho là ). Tôi hoàn toàn hiểu rằng các vấn đề hiệu quả là một tập hợp con …

12 formal-languages  regular-languages  context-free  efficiency 

---

2

Ví dụ về các ngôn ngữ không có ngữ cảnh với phần bổ sung không có ngữ cảnh

Ngôn ngữ không ngữ cảnh không được đóng dưới sự bổ sung. Trong các bài giảng, chúng tôi đã đưa ra lập luận tương tự như ở đây trên Wikipedia : For cả và B đều không có ngữ cảnh, nhưng giao điểm A ∩ B của chúng thì không. …

11 formal-languages  context-free 

---

2

Tìm ngôn ngữ được tạo bởi ngữ pháp không ngữ cảnh

Đây là một câu hỏi từ cuốn sách Rồng (Tôi xin lỗi vì lỗi dịch thuật, tôi không có phiên bản tiếng Anh): Ngôn ngữ nào được tạo ra bởi ngữ pháp này? S→aSbS∣bSaS∣ϵS→aSbS∣bSaS∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon Tôi không biết tôi …

11 formal-languages  context-free  formal-grammars 

---

3

Bằng chứng dễ dàng cho các ngôn ngữ không ngữ cảnh được đóng theo ca tuần hoàn

Sự dịch chuyển theo chu kỳ (còn được gọi là xoay hoặc chia động từ ) của ngôn ngữ được định nghĩa là . Theo wikipedia (và ở đây ), các ngôn ngữ không ngữ cảnh được đóng lại trong hoạt động này, với các tài liệu tham khảo từ …

11 formal-languages  context-free  closure-properties 

---

1

Suy ra các loại sàng lọc

Tại nơi làm việc, tôi được giao nhiệm vụ suy luận một số thông tin về ngôn ngữ động. Tôi viết lại các chuỗi các câu lệnh thành các letbiểu thức lồng nhau , như vậy: return x; Z => x var x; Z => let x = undefined in …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

---