Questions marquées «pumping-lemma»

Propriétés nécessaires des langages formels dans certaines classes qui reposent sur la fermeture contre la répétition de certains sous-mots. Assurez-vous que votre question n'est pas couverte en appliquant les techniques de https://cs.stackexchange.com/q/1031/755.

3
Le langage des paires de mots de longueur égale dont la distance de brouillage est de 2 ou plus est-il hors contexte?
Le contexte linguistique suivant est-il libre? 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\} Comme indiqué par sdcvvc, un mot dans cette langue peut également être décrit comme la concaténation de deux mots de même longueur …








1
Comment ws avec | w | = | s | et w ≠ s être hors contexte alors que w # s ne l'est pas?
Pourquoi (si c'est le cas) le séparateur fait-il une différence entre les deux langues?##\# Disons: 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 \} Voici une preuve et une grammaire représentant enLLLCFLCFLCFL Et ci-dessous, j'ajoute une preuve pour :L#∉CFLL#∉CFLL_{\#} \notin CFL …



1
Peut-il y avoir un lemme de pompage contextuel?
Une propriété de «pompage» (des mots d'une certaine longueur impliquent l'existence de boucles dans le mécanisme de définition de la langue) est connue pour exister pour les langues régulières et sans contexte et quelques autres (généralement utilisées pour réfuter l'appartenance d'une langue à une certaine classe). ). Dans la discussion …

1
Est la langue
Est la langue 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}\} sans contexte? Je suppose que ce n'est pas sans contexte car il semble trop compliqué pour un PDA de décider si 2 nombres sont co-amorcés …


1
La preuve que
Montre CA L={an2|n≥0}L={an2|n≥0}L=\{a^{n^2} | n \geq 0\} n'est pas régulier Salut les gars. Je prends un cours de CS et ce truc est vraiment nouveau pour moi, alors soyez indulgent avec moi. J'ai essayé de voir si j'obtenais une contradiction en utilisant le lemme de pompage pour les langues régulières …

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.