Propriedades necessárias de línguas formais em certas classes que dependem do fechamento contra a repetição de certas subpalavras. Certifique-se de que sua pergunta não seja respondida aplicando as técnicas em https://cs.stackexchange.com/q/1031/755.
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...
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...
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 )...
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
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" é igual ao número de instâncias da...
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...
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...
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 não é regular, mas,...
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 é...
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,...
Para uma linguagem com comprimento de bombeamento e uma string , os lemas de bombeamento são os seguintes:LLLppps∈Ls∈Ls\in L Versão regular : If , então pode ser escrito como , atendendo às seguintes condições:|s|≥p|s|≥p|s| \geq psssxyzxyzxyz |y|≥1|y|≥1|y|\geq 1 |xy|≤p|xy|≤p|xy|\leq...
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...
É 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. Tentei usar o lema de...
É o idioma L={a,b}∗∖{(anbn)n∣n≥1}L={a,b}∗∖{(anbn)n∣n≥1}L = \{a,b\}^* \setminus \{(a^nb^n)^n\mid n \geq1 \} sem contexto? Acredito que a resposta é que não é uma CFL, mas não posso provar pelo lema de Ogden ou
O idioma é obviamente regular - por exemplo, corresponde à expressão regular . Mas o seguinte argumento do lema de bombeamento parece mostrar que não é regular. O que deu errado?L={02n | n≥0}L={02n | n≥0}L = \{0^{2n} \space |\space n \ge 0 \}(00)∗(00)∗(00)^* Eu encontrei uma maneira de dividir uma...
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...
Estou fazendo uma tese de pós-graduação sobre a comprovação da correção do programa para multiplicar 2 matrizes usando a lógica Hoare. Para fazer isso, preciso gerar o loop invariável para aninhado para este programa: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end...
Basicamente o que o título diz. Por que você pode "ignorar" a parte "xy" se deseja provar se um idioma é