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

Là bối cảnh ngôn ngữ sau đây miễn phí? L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} Như được chỉ ra bởi sdcvvc, một từ trong ngôn ngữ này cũng có thể được mô tả là …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

Wikipedia có định nghĩa sau đây về bổ đề bơm đối với các ngôn ngữ thông thường ... Hãy để là một ngôn ngữ thông thường. Sau đó, tồn tại một số nguyên 1 chỉ phụ thuộc vào sao cho mọi chuỗi trong có độ dài ít nhất ( được …

20 formal-languages  regular-languages  pumping-lemma  finite-sets 

Tôi đang cố gắng sử dụng bổ đề bơm để chứng minh rằng không thường xuyên.L = { ( 01 )m2m∣ m ≥ 0 }L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} Đây là những gì tôi có cho đến nay: Giả sử là thường xuyên và gọi p là chiều …

19 formal-languages  regular-languages  pumping-lemma 

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 

Tôi đã tự hỏi khi các ngôn ngữ có cùng số lượng phiên bản của hai chuỗi con sẽ là thường xuyên. Tôi biết rằng ngôn ngữ chứa số 1 và 0 bằng nhau không phải là thông thường, nhưng là ngôn ngữ như , trong đó = số phiên …

14 formal-languages  regular-languages  pumping-lemma 

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 

Bổ đề bơm cho các ngôn ngữ thông thường có thể được sử dụng để chứng minh rằng một số ngôn ngữ không thường xuyên và bổ đề bơm cho các ngôn ngữ không ngữ cảnh (cùng với bổ đề của Ogden) có thể được sử dụng để chứng minh …

11 context-free  proof-techniques  pumping-lemma 

Mô tả một ngôn ngữ thông thường không thể được chấp nhận bởi bất kỳ DFA nào chỉ có ba trạng thái. Tôi không thực sự chắc chắn nên bắt đầu từ đâu và tự hỏi liệu ai đó có thể cho tôi một số lời khuyên hoặc lời khuyên. …

10 formal-languages  regular-languages  finite-automata  pumping-lemma 

Tại sao (nếu vậy) seperator ##\# tạo ra sự khác biệt giữa hai ngôn ngữ? Hãy nói: L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} Dưới đây là một bằng chứng và một ngữ pháp đại diện cho LLL là …

9 formal-languages  context-free  pumping-lemma 

Cho một ngôn ngữ , làm thế nào tôi có thể nói trực tiếp, mà không cần nhìn vào quy tắc sản xuất, rằng ngôn ngữ này không thường xuyên?L = { anbncn}L={anbncn} L= \{a^n b^n c^n\} Tôi có thể sử dụng bơm bổ đề nhưng một số kẻ đang …

9 formal-languages  regular-languages  pumping-lemma  intuition 

Khi tôi xem xét các bằng chứng cho việc bơm bổ đề , tôi có cảm giác rằng tôi thường bị thiếu trực giác đằng sau điều kiện | xy | ≤ p. Chính xác thì lý do đằng sau tình trạng này là gì? Tất cả các tài liệu …

8 formal-languages  regular-languages  pumping-lemma 

Một thuộc tính "bơm" (các từ có độ dài nhất định ngụ ý sự tồn tại của các vòng lặp trong cơ chế xác định ngôn ngữ) được biết là tồn tại đối với các ngôn ngữ thông thường và không ngữ cảnh và một số ngôn ngữ khác (thường …

8 formal-languages  pumping-lemma  context-sensitive 

Có phải ngôn ngữ L={0n1m∣n and m are co-prime}L={0n1m∣n and m are co-prime} L = \{0^n 1^m \mid n \text{ and } m \text{ are co-prime}\} ngữ cảnh? Tôi đoán rằng nó không phải là bối cảnh miễn phí vì có vẻ như quá phức tạp đối với một thiết …

8 formal-languages  context-free  pumping-lemma  pushdown-automata 

Tôi có hai câu hỏi: Tôi xem xét ngôn ngữ sau Nói cách khác, không phải là palindrom với độ dài chẵn. Tôi đã chứng minh rằng ngôn ngữ này KHÔNG thường xuyên bằng cách chứng minh rằng phần bổ sung của nó không thường xuyên. Câu hỏi của tôi …

8 formal-languages  regular-languages  pumping-lemma 

Chứng tỏ rằng không thường xuyênL={an2|n≥0}L={an2|n≥0}L=\{a^{n^2} | n \geq 0\} Này các cậu. Tôi đang tham gia một lớp CS và những thứ này thực sự mới đối với tôi vì vậy hãy kiên nhẫn với tôi. Tôi đã cố gắng xem xét nếu tôi nhận được một số mâu …

8 regular-languages  pumping-lemma