Perguntas com a marcação «formal-grammars»

Se eu tenho uma gramática tipo 3, ela pode ser representada em um autômato de empilhamento (sem fazer nenhuma operação na pilha) para que eu possa representar expressões regulares usando linguagens livres de contexto. Mas eu posso saber se uma gramática do tipo 3 é , L L ( 1 …

16 formal-languages  regular-languages  formal-grammars  parsers  regular-expressions 

Diz-se que a interseção de uma linguagem livre de contexto L com uma linguagem regular M é sempre livre de contexto. Entendi a prova de construção entre produtos, mas ainda não entendo por que ela é livre de contexto, mas não regular. O idioma gerado por essa interseção possui seqüências …

16 regular-languages  context-free  finite-automata  formal-grammars 

É possível argumentar que a maioria das linguagens criadas para descrever os problemas do dia a dia são sensíveis ao contexto. Por outro lado, é possível e não difícil encontrar alguns idiomas que não sejam recursivos ou mesmo não recursivamente enumeráveis. Entre esses dois tipos estão as linguagens recursivas não …

15 formal-languages  complexity-theory  formal-grammars 

Eu tento me ensinar o uso do bisonte. A página de manual bison (1) diz sobre o bison: Gere um analisador determinístico de LR ou LR generalizado (GLR) empregando tabelas de analisador LALR (1), IELR (1) ou LR (1) canônico. O que é um analisador IELR? Todos os artigos relevantes …

14 formal-languages  terminology  formal-grammars  parsers 

De acordo com o artigo da Wikipedia , L em significa "varredura da esquerda para a direita" e "R" significa "derivação mais à direita". No entanto, no artigo original de Knuth sobre gramáticas , ele define (na página 610) como um idioma "traduzível da esquerda para a direita com vinculado …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

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 …

14 formal-languages  context-free  formal-grammars  closure-properties 

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 indent program : statement('')+ ; // let's …

13 formal-languages  context-free  formal-grammars  parsers 

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 significado. …

13 formal-languages  terminology  automata  finite-automata  formal-grammars 

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 provar nada. Eu também olhei …

13 formal-languages  context-free  formal-grammars 

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 poder dizer como essa propriedade de uma …

13 context-free  formal-grammars  parsers 

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 …

13 context-free  formal-grammars  compilers  parsers 

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 gramática nos …

12 automata  formal-grammars  regular-expressions 

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 livros que me …

12 formal-languages  context-free  formal-grammars  normal-forms 

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 lambda sem tipo é sensível ao contexto. Gostaria de …

12 formal-grammars  programming-languages  lambda-calculus  context-sensitive 

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 categoria diretamente acima. Pude ver que …

12 formal-grammars  turing-machines  undecidability  context-sensitive