«pumping-lemma» etiketlenmiş sorular

Aşağıdaki dil içeriği ücretsiz mi? L = { u x v y| 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 \{ …

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

Wikipedia , düzenli diller için pompalama lemmasının aşağıdaki tanımına sahiptir ... Let düzenli bir dil olması. Daha sonra, bir tam sayı vardır ≥ 1 sadece olarak , örneğin, her bir dize Bu olarak , en azından uzunluğunun ( "pompalama uzunluğu" olarak adlandırılır) olarak yazılabilir = (yani üç ayrılabilir alt dizeler).LLLpppLLLwwwLLLppppppwwwxyzxyzxyzwww …

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

Ben düzenli olmadığını kanıtlamak için pompalama lemma kullanmaya çalışıyorum .L={(01)m2m∣m≥0}L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} Şimdiye kadar sahip olduğum şey: nin düzenli olduğunu varsayalım ve p'nin pompalama uzunluğu olmasına izin verin , bu yüzden w = ( 01 ) p 2 p . Herhangi bir pompalama ayrışma düşünün w …

19 formal-languages  regular-languages  pumping-lemma 

Yani temelde L, CFL'ler için pompalama lemmasının koşullarını karşılar, ancak bir CFL değildir (bu, lemmanın tanımına göre mümkündür).

15 formal-languages  context-free  pumping-lemma 

İki alt dizenin aynı sayıda örneğini içeren dillerin ne zaman düzenli olacağını merak ediyordum. Ben 1 ve 0'ların eşit sayıda içeren dil düzenli değil ama gibi bir dil olduğunu biliyoruz , = alt dize örneklerini sayısına "001" alt dize "örnekleri sayısına eşittir 100 " düzenli mi? "00100" dizesinin kabul edileceğini …

14 formal-languages  regular-languages  pumping-lemma 

Aşağıdaki dile sahibim {0i1j2k∣0≤i≤j≤k}{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Hangi Chomsky dil sınıfına uyduğunu belirlemeye çalışıyorum. Bağlama duyarlı bir dilbilgisi kullanılarak nasıl yapılabileceğini görebiliyorum, bu yüzden en azından bağlama duyarlı olduğunu biliyorum. Bağlamdan bağımsız bir gramer ile yapmak mümkün olmayacak gibi görünüyor, ancak bunu …

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

Normal diller için pompalama lemması, belirli dillerin düzenli olmadığını kanıtlamak için kullanılabilir ve bağlamsız diller için (Ogden'in lemmasıyla birlikte) pompalama lemması, belirli dillerin bağlamdan bağımsız olmadığını kanıtlamak için kullanılabilir. Belirleyici bağlamdan bağımsız diller için pompalama bir lemma var mı ? Yani, bir dilin DCFL olmadığını göstermek için kullanılabilen pompalama lemmasına …

11 context-free  proof-techniques  pumping-lemma 

Yalnızca üç durumu olan herhangi bir DFA tarafından kabul edilemeyen normal bir dili tanımlayın. Bunun nereden başlayacağından gerçekten emin değilim ve birinin bana bazı ipuçları veya tavsiyeler verebileceğini merak ediyordum. Pompalama lemmasının bir dilin düzenli olmadığını kanıtlamak için kullanılabileceğini anlıyorum, ancak bu durumda normal bir dil olmalıdır. Herhangi bir düşüncesi …

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

( Öyleyse) ayırıcı neden iki dil arasında fark yaratıyor?##\# Diyelim ki: 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 \} İşte olarak temsil eden bir kanıt ve gramer.LLLCFLCFLCFL Ve aşağıda için için bir kanıt ekliyorum :L#∉CFLL#∉CFLL_{\#} \notin CFL Does işareti gerçekten …

9 formal-languages  context-free  pumping-lemma 

Bir dil Verilen , nasıl bu dil düzenli olmadığını, üretim kurallarına bakmadan doğrudan söyleyebiliriz?L={anbncn}L={anbncn} L= \{a^n b^n c^n\} Ben pompalama lemma kullanabilirsiniz ama bazı çocuklar sadece bu dilbilgisi bakarak düzenli değil diyorlar. Bu nasıl mümkün olaiblir?

9 formal-languages  regular-languages  pumping-lemma  intuition