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

Gần đây tôi đang nghiên cứu về thiết kế Trình biên dịch. Tôi đã biết về hai loại ngữ pháp một là ngữ pháp LL và loại khác là ngữ pháp LR. Chúng ta cũng biết một sự thật rằng mỗi ngữ pháp LL là LR ngữ pháp LL là …

12 formal-grammars  compilers  parsers  lr-k  ll-k 

Đâ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 

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 

Tôi có ngôn ngữ sau { 0Tôi1j2k∣0≤i≤j≤k}{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Tôi đang cố gắng xác định lớp ngôn ngữ Chomsky nào phù hợp với nó. Tôi có thể thấy làm thế nào nó có thể được thực hiện bằng cách sử dụng …

11 formal-languages  context-free  formal-grammars  pumping-lemma 

Đây là một câu hỏi từ Sách Rồng. Đây là ngữ pháp: Một → ε B → εS→AaAb∣BbBaS→AaAb∣BbBaS \to AaAb \mid BbBa A→εA→εA \to \varepsilon B→εB→εB \to \varepsilon Câu hỏi hỏi làm thế nào để chỉ ra rằng đó là LL (1) chứ không phải là SLR (1). Để chứng …

11 formal-grammars  compilers  parsers 

Ai đó có thể khai sáng cho tôi lý do tại sao một trình phân tích cú pháp gốc đệ quy với quay lui thử các sản phẩm và (theo thứ tự đó) không nhận ra ngôn ngữ được tạo bởi ngữ pháp .S→ một SmộtS→mộtSmộtS \rightarrow aSaS→ một mộtS→mộtmộtS …

10 context-free  formal-grammars  compilers  parsers 

Máy Turing và ngữ pháp không giới hạn là hai hình thức khác nhau xác định ngôn ngữ RE. Một số ngôn ngữ RE là có thể quyết định, nhưng không phải tất cả đều được. Chúng ta có thể định nghĩa các ngôn ngữ có thể quyết định bằng …

10 computability  turing-machines  formal-grammars 

Gần đây tôi đã bắt gặp một bài báo mô tả kỹ thuật phân tích cú pháp được đề cập trong tiêu đề. Thật không may, thuật ngữ được sử dụng trong bài báo nói trên có phần vượt quá tầm hiểu biết của tôi, vì vậy tôi đã cố …

10 algorithms  formal-grammars  context-free  parsing 

Hãy là tập hợp các thiết bị đầu cuối và N tập các biểu tượng không đầu cuối của một số bối cảnh tự do văn phạm G .ΣΣ\SigmaNNNGGG Nói rằng tôi có một chuỗi mà x một y ∈ S ( G ) nơi x , y ∈ ( …

10 algorithms  context-free  formal-grammars  compilers 

Từ đọc của tôi, có vẻ như hầu hết các ngữ pháp đều quan tâm đến việc tạo ra một số lượng chuỗi vô hạn. Điều gì nếu bạn làm việc theo cách khác? Nếu được cung cấp n chuỗi có độ dài m, có thể tạo ra một ngữ …

10 formal-languages  regular-languages  formal-grammars  finite-sets 

Những món quà ngữ pháp ngữ cảnh tự do sau một "treo lủng lẳng khác" kiểu nhập nhằng (tưởng tượng rằng đại diện cho và là viết tắt của và là viết tắt của một số loại khác giảng dạy hoặc khối): Ví dụ, có thể được phân tích cú …

9 context-free  formal-grammars  parsers  ambiguity 

Gần đây tôi đã tự hỏi điều gì sẽ xảy ra nếu chúng ta cho phép các ngữ pháp không ngữ cảnh có vô số quy tắc. Rõ ràng, nếu chúng ta cho phép tùy ý các bộ quy tắc vô hạn như vậy, mọi ngôn ngữ trên một số …

9 formal-languages  context-free  formal-grammars 

Tôi đang tìm kiếm một ngữ pháp context-sensitive mô tả các ngôn ngữ sau: .L={ww∣w∈{a,b}∗,|w|≥1}L= ={ww|w∈{một,b}*,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} Tôi đã có vấn đề với thực tế là không có quy tắc như được phép và do đó tôi không thể đặt bất …

9 formal-languages  formal-grammars  context-sensitive 

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 

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