Khoa học máy tính pumping-lemma

1

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

1

Có gì sai với chứng minh bổ đề bơm của tôi?

Ngôn ngữ rõ ràng là thông thường - ví dụ: nó phù hợp với biểu thức chính quy . Nhưng đối số bổ đề bơm sau đây dường như cho thấy nó không thường xuyên. Có chuyện gì vậy?L={02n | n≥0}L={02n | n≥0}L = \{0^{2n} \space |\space n \ge 0 …

8 formal-languages regular-languages proof-techniques pumping-lemma reference-question

4

Trường hợp hạn chế chiều dài của bổ đề bơm đến từ đâu?

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

3

Tại sao bổ đề Pumping-cho các ngôn ngữ không ngữ cảnh sử dụng uvwxy, nhưng một trong những ngôn ngữ thông thường là uvw?

Về cơ bản tiêu đề nói gì. Tại sao bạn có thể "bỏ qua" phần "xy" nếu bạn muốn chứng minh liệu một ngôn ngữ có thường xuyên không?

7 regular-languages pumping-lemma chomsky-hierarchy

2

Bất biến cho vòng lặp lồng nhau trong chương trình nhân ma trận

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

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