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

Đối với ngôn ngữ có độ dài bơm và chuỗi , các bổ đề bơm như sau:LLLppps ∈ Ls∈Ls\in L Phiên bản thông thường : Nếu , sau đó có thể được viết là , thỏa mãn các điều kiện sau:| s | ≥p|s|≥p|s| \geq pSssx yzxyzxyz | y| ≥1|y|≥1|y|\geq …

8 formal-languages  regular-languages  context-free  pumping-lemma 

Các ngữ pháp biểu thức phân tích cú pháp (PEG) không rõ ràng và có cú pháp tương tự bề ngoài với BNF , nhưng bao gồm ba điểm khác biệt quan trọng: Các toán tử lựa chọn ra lệnh e1 / e2 / e3. Các vị ngữ và vị …

7 context-free  formal-grammars  normal-forms 

Cho một ngôn ngữ LLL, định nghĩa: NE(L)={x∈L:x is not the proper prefix of any string in L}NE(L)={x∈L:x is not the proper prefix of any string in L} NE(L) = \{x \in L : x \text{ is not the proper prefix of any string in } L\} Tôi đang cố …

7 formal-languages  context-free  closure-properties 

Có người hỏi ví dụ về ngôn ngữ không ngữ cảnh với phần bổ sung không ngữ cảnh . Câu trả lời đầu tiên nói: Ngôn ngữ L1= { w w ∣ w ∈ { a , b}*}L1={ww∣w∈{a,b}∗}L_1= \{ww \mid w \in \{a,b\}^*\}không có ngữ cảnh (như có thể được …

7 formal-languages  context-free  formal-grammars 

Từ một bình luận , một câu hỏi thú vị xuất hiện. Lớp CFL (các ngôn ngữ được công nhận bởi các PDA) rõ ràng không bị đóng cửa theo thuyết không điều kiện - điều tôi muốn nói là điều này là các PDA xác định không có sức …

7 formal-languages  context-free  closure-properties  computation-models  nondeterminism 

Câu đầu tiên của bài viết Wikipedia cho Định lý Parikh nêu rõ: "Định lý của Parikh trong khoa học máy tính lý thuyết nói rằng nếu người ta chỉ nhìn vào số lần xuất hiện tương đối của các ký hiệu đầu cuối trong một ngôn ngữ không ngữ …

7 formal-languages  regular-languages  context-free 

Định nghĩa FH(L)={x∈Σ∗:∃y∈Σ∗ with |x|=|y| such that xy∈L}FH(L)={x∈Σ∗:∃y∈Σ∗ with |x|=|y| such that xy∈L}FH(L) = \{x \in \Sigma^* : \exists y \in \Sigma^* \text{ with } |x| = |y| \text{ such that } xy \in L\}. Nói cách khác,FH(L)FH(L)FH(L) là tập hợp các nửa đầu tiên của chuỗi có độ dài …

7 formal-languages  context-free  closure-properties 

Vấn đề (tl; dr) Đưa ra một ngữ pháp không có ngữ cảnh, , hãy tìm một tập hợp các chuỗi đưa qua mọi sản phẩm mà nó có ít nhất một lần.GGGGGG Làm thế nào và nhanh như thế nào nó có thể được thực hiện? Lý lịch Tôi …

7 complexity-theory  context-free  formal-grammars 

Tôi nghĩ rằng Câu hỏi là tự đủ. Là cú pháp của Ngôn ngữ C được xác định hoàn toàn thông qua Ngữ pháp miễn phí theo ngữ cảnh hay chúng ta có Cấu trúc ngôn ngữ có thể yêu cầu các định nghĩa Không ngữ cảnh miễn phí trong …

7 context-free  programming-languages  compilers  parsing  c 

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 

Có ai có thể giúp cho việc này không: L={aibj∣i,j≥0 and i≠2j}L={aibj∣i,j≥0 and i≠2j}L=\{a^ib^j \mid i,j \ge 0 \text{ and } i \ne 2j\} Tôi đang cố gắng viết một ngữ pháp cho ngôn ngữ này? Tôi không biết làm thế nào để làm điều này. Tôi đã thử điều …

7 formal-languages  context-free  formal-grammars 

Bất cứ ai cũng biết nếu có một thuật toán để viết trực tiếp ngữ pháp không ngữ cảnh tạo ra một biểu thức chính quy cho trước?

7 formal-grammars  regular-expressions  context-free 

Tôi đã đi qua một câu hỏi yêu cầu tôi chọn ngôn ngữ mơ hồ vốn có trong số các tùy chọn. L1={anbmcmdn|m,n≥1}∪{anbncmdm|m,n≥1}L1={anbmcmdn|m,n≥1}∪{anbncmdm|m,n≥1}L_1 = \{a^nb^mc^md^n \;|\; m,n \geq 1\}\cup \{a^nb^nc^md^m \;|\; m,n \geq 1\} andandand L2={anbmcm|m,n≥1}∪{anbncm|m,n≥1}L2={anbmcm|m,n≥1}∪{anbncm|m,n≥1}L_2 = \{a^nb^mc^m \;|\; m,n \geq 1\}\cup \{a^nb^nc^m \;|\; m,n \geq 1\} Giải pháp cho …

7 formal-languages  formal-grammars  context-free  ambiguity 

Tôi đang đọc "Giới thiệu về ngôn ngữ chính thức và Automata" được viết bởi Peter Linz và sau khi đọc năm chương đầu tiên tôi gặp phải vấn đề với các ngữ pháp đơn giản và thường xuyên (đặc biệt là tuyến tính) rất giống nhau. Mối quan hệ …

7 regular-languages  automata  context-free  formal-grammars 

Tôi đang làm luận án tốt nghiệp về việc chứng minh tính đúng đắn của chương trình để nhân 2 ma trận bằng logic Hoare. Để làm điều này, tôi cần tạo bất biến cho vòng lặp lồng nhau cho chương trình này: for i = 1:n for j = …

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free