Perguntas com a marcação «pumping-lemma»

O seguinte contexto de linguagem é livre? 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\} Conforme apontado por sdcvvc, uma palavra nesse idioma também pode ser descrita como a concatenação de duas palavras do mesmo comprimento …

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

A Wikipedia tem a seguinte definição de lema de bombeamento para idiomas regulares ... Seja uma linguagem regular. Existe então um número inteiro ≥ 1, dependendo apenas de modo que cada string em de comprimento pelo menos ( é chamado de "comprimento de bombeamento") possa ser escrita como = (ou …

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

Estou tentando usar o lema de bombeamento para provar que não é regular.L={(01)m2m∣m≥0}L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} É o que tenho até agora: suponha que seja regular e seja o comprimento do bombeamento, então . Considere qualquer decomposição de bombeamento tal que e .p w = ( 01 …

19 formal-languages  regular-languages  pumping-lemma 

Portanto, basicamente L satisfaz as condições do lema de bombeamento para CFLs, mas não é uma CFL (isso é possível de acordo com a definição do lema).

15 formal-languages  context-free  pumping-lemma 

Fiquei me perguntando quando os idiomas que continham o mesmo número de instâncias de duas substrings seriam regulares. Eu sei que o idioma que contém o número igual de 1s e 0s não é regular, mas é um idioma como , onde = número de instâncias da substring "001" é …

14 formal-languages  regular-languages  pumping-lemma 

Eu tenho o seguinte idioma {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\} Estou tentando determinar em qual classe de idioma Chomsky se encaixa. Eu posso ver como isso pode ser feito usando uma gramática sensível ao contexto, então eu sei que é pelo menos sensível …

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

O lema de bombeamento para idiomas regulares pode ser usado para provar que determinados idiomas não são regulares, e o lema de bombeamento para idiomas sem contexto (junto com o lema de Ogden) pode ser usado para provar que determinados idiomas não são livres de contexto. Existe um lema de …

11 context-free  proof-techniques  pumping-lemma 

Descreva um idioma comum que não possa ser aceito por nenhum DFA que possua apenas três estados. Não sei muito bem por onde começar e queria saber se alguém poderia me dar algumas dicas ou conselhos. Entendo que o lema de bombeamento pode ser usado para provar que um idioma …

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

Por que (se houver) o separador está fazendo a diferença entre os dois idiomas?##\# Deixe dizer: 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 \} Aqui está uma prova e uma gramática representando como uma CFLLLLCFLCFLCFL Abaixo, estou adicionando uma prova …

9 formal-languages  context-free  pumping-lemma 

Dado um idioma , como posso dizer diretamente, sem examinar as regras de produção, que esse idioma não é regular?L={anbncn}L={anbncn} L= \{a^n b^n c^n\} Eu poderia usar o lema de bombeamento, mas alguns caras estão dizendo apenas olhando para a gramática que essa não é regular. Como isso é possível?

9 formal-languages  regular-languages  pumping-lemma  intuition 

Quando olho para as provas de bombeamento do lema , sinto que muitas vezes sinto falta da intuição por trás da condição | xy | ≤ p. Qual é exatamente o motivo por trás dessa condição? Toda a literatura que examinei é silenciosa (sem prova, sem discussão, apenas uma afirmação) …

8 formal-languages  regular-languages  pumping-lemma 

Sabe-se que uma propriedade "bombear" (palavras de um determinado comprimento implica a existência de loops no mecanismo de definição de idioma) para linguagens regulares e sem contexto e mais algumas (geralmente usadas para refutar a associação de um idioma a uma determinada classe) ) Na discussão em torno dessa pergunta …

8 formal-languages  pumping-lemma  context-sensitive 

É o idioma 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}\} sem contexto? Eu acho que não é livre de contexto, porque parece muito complicado para um PDA decidir se dois números são co-primos ou não. …

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

Eu tenho duas perguntas: Eu considero o seguinte idioma L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L_1= \{ w\in \{0,1\}^* \mid \not \exists u\in \{0,1\}^* \colon w= uu^R\}. Em outras palavras wwwnão é palíndromo com comprimento uniforme. Eu provei que esse idioma NÃO é regular, provando que seu complemento não é regular. Minha pergunta é como provar …

8 formal-languages  regular-languages  pumping-lemma 

Mostre que não é regularL={an2| n≥0}L={an2|n≥0 0}L=\{a^{n^2} | n \geq 0\} Ei pessoal. Eu estou tendo uma aula de CS e esse material é realmente novo para mim, então tenha paciência comigo. Tentei verificar se havia alguma contradição usando o lema de bombeamento para idiomas regulares e resolvi-o assim: Suponha …

8 regular-languages  pumping-lemma