Seja uma gramática livre de contexto. Uma série de terminais e não terminais de é dito ser uma forma sentencial de se você pode obtê-lo através da aplicação de produções de zero ou mais vezes para o símbolo de início de . Vamos ser o conjunto de formas de sentenciais .GGGG G S SF ( G )...
Defina o idioma como . Em outras palavras, contém as palavras que não podem ser expressas como algumas palavras repetidas duas vezes. é livre de contexto ou não?LLLL={a,b}∗−{ww∣w∈{a,b}∗}L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - \{ww\mid w \in \{a, b\}^*\}LLLLLL Tentei cruzar com , mas ainda não posso...
Estou com um problema com este exercício: Seja G a seguinte gramática ambígua para o cálculo λ: E → v | λv.E | EE | (E) onde E é o único símbolo não terminal, λv.E representa a abstração da variável v em E e EE representa a aplicação. Defina uma gramática LL (1) G ′ de modo que L (G...
Estou estudando linguagens formais e sistemas de bases de produção (sistemas de bases de regras) e estou um pouco confuso sobre por que essas duas palavras "produção" e "regra" significam a mesma coisa em tantos contextos na Ciência da Computação. No idioma inglês, eles não parecem ter o mesmo...
Estou tentando entender o que se entende por "determinístico" em expressões como "gramática determinística livre de contexto". (Existem "coisas" mais determinísticas neste campo). Eu apreciaria um exemplo mais do que a explicação mais elaborada! Se possível. Minha principal fonte de confusão é não...
Eu estava pensando em gramáticas para linguagens sensíveis a indendências e parece que as gramáticas CF fariam o truque se combinadas com parâmetros. Como exemplo, considere este fragmento para gramática simplificada do Python no formato ANTLR: // on top-level the statements have empty...
Estou estudando recentemente sobre o design de compiladores. Eu vim a conhecer dois tipos de gramática, a gramática LL e a gramática LR. Também sabemos os fatos de que toda gramática LL é LR que é gramática LL é um subconjunto adequado da gramática LR. O primeiro é usado na análise de cima para...
Eu estava analisando a definição de linguagem sensível ao contexto da Wikipedia e achei o seguinte: Cada categoria de idiomas é um subconjunto adequado da categoria diretamente acima dele. Qualquer autômato e qualquer gramática em cada categoria tem um autômato ou gramática equivalente na...
Esta é uma pergunta do Dragon Book. Esta é a gramática: S→AaAb∣BbBaS→AaAb∣BbBaS \to AaAb \mid BbBa A→εA→εA \to \varepsilon B→εB→εB \to \varepsilon A pergunta pergunta como mostrar que é LL (1), mas não SLR (1). Para provar que é LL (1), tentei construir sua tabela de análise, mas estou...
Estou tentando entender gramáticas sensíveis ao contexto. Eu entendo por que idiomas como {ww∣w∈A∗}{ww∣w∈A∗}\{ww \mid w \in A^*\} {anbncn∣n∈N}{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} não são livres de contexto, mas o que eu gostaria de saber se uma linguagem semelhante ao cálculo...
Eu sou novo em autômatos e recebi uma breve introdução às expressões regulares apenas ontem. Eu li as várias regras para definir uma expressão regular. Mas não sou capaz de diferenciar expressões regulares e gramática de um idioma (não aprendi a gramática para expressões regulares). Entendo que a...
Entendo que gramáticas sem contexto podem ser usadas para representar linguagens sem contexto. Pode ter ambiguidades. Também temos formas normais, como a forma normal de Chomsky e Greibach . Eu não conseguia entender a necessidade disso. Por que eles são importantes na teoria das línguas? Todos os...
No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
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...
Esta é uma pergunta do livro do Dragão (peço desculpas por erros de tradução, não tenho a versão em inglês): Que idioma é gerado por esta gramática? S→aSbS∣bSaS∣ϵS→aSbS∣bSaS∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon Não sei o que devo fazer aqui. A definição no livro sobre idiomas...
Pela minha leitura, parece que a maioria das gramáticas está preocupada em gerar um número infinito de strings. E se você trabalhasse o contrário? Se forem dadas n strings de m length, deve ser possível fazer uma gramática que gere essas strings, e apenas essas strings. Existe um método conhecido...
Máquinas de Turing e gramáticas irrestritas são dois formalismos diferentes que definem as linguagens de ER. Algumas linguagens de ER são decidíveis, mas nem todas são. Podemos definir as linguagens decidíveis com as máquinas de Turing dizendo que uma linguagem é decidível se houver uma TM para a...
Recentemente, deparei com um artigo descrevendo a técnica de análise mencionada no título. Infelizmente, a terminologia usada no referido artigo está um pouco além da minha compreensão, por isso tenho tentado entender o algoritmo de construção de maneira mais intuitiva. Acredito que consegui ( esta...
Alguém pode me esclarecer por que um analisador de descida recursiva com retrocesso que tenta as produções e S → a a (nessa ordem) não reconhece o idioma formado pela gramática S → a S a | a a .S→aSaS→aSaS \rightarrow aSaS→aaS→aaS \rightarrow aaS→aSa | aaS→aSa | aaS \rightarrow aSa\ |\ aa Parece...
Seja o conjunto de terminais e o conjunto de símbolos não terminais de alguma gramática livre de contexto .ΣΣ\SigmaNNNGGG Digamos que eu tenho uma string tal que que e são as formas de sentenciais .a∈(Σ∪N)+a∈(Σ∪N)+a \in (\Sigma \cup N)^+xay∈S(G)xay∈S(G)x a y \in...