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

Tôi đang thực hiện một số nghiên cứu về NFA và các vấn đề bao gồm với chúng. Tôi biết rằng nói chung, các vấn đề bao gồm và chuyển đổi thành NFA rõ ràng, đều hoàn toàn PSPACE. Tôi đang tự hỏi, có bất kỳ lớp con nào của …

7 complexity-theory  formal-languages  automata  finite-automata  nondeterminism 

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 

L1L1L_1 là một ngôn ngữ có thể liệt kê đệ quy trên một số bảng chữ cái . Một thuật toán hiệu quả liệt kê những lời của nó như . là một ngôn ngữ khác trên là Hãy xem xét các xác nhận sau.ΣΣ\Sigmaw1,w2, . . .w1,w2,...w_1, w_2, ... …

7 formal-languages  computability 

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

Tôi đã được đưa ra câu hỏi Trường hợp ngôn ngữ nào sau đây phù hợp với hệ thống phân cấp Chomsky? Giải pháp không âm ( x , y)(x,y)(x,y) phương trình Diophantine 3 x - y= 13x-y= =13x-y=1. Tôi hiểu các ngôn ngữ như , nhưng ngôn ngữ này …

7 formal-languages  computability 

Xin lưu ý rằng tôi nhận thấy tính không ổn định của việc chuyển đổi ngữ pháp không ngữ cảnh sang ngữ pháp thông thường. Nhưng với đặc tính không nhúng của ngữ pháp không ngữ cảnh đầu vào, có thuật toán nào để chuyển đổi nó thành ngữ pháp …

7 formal-languages  formal-grammars  context-free 

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