Perguntas com a marcação «ambiguity»

Entendo que, se existem 2 ou mais árvores de derivação esquerda ou direita, a gramática é ambígua, mas não consigo entender por que é tão ruim que todo mundo queira se livrar dela.

30 compilers  ambiguity 

Meu problema é como posso provar que uma gramática é inequívoca? Eu tenho a seguinte gramática: S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then } S ∣ \mbox{if } expression \mbox{ then } …

25 context-free  formal-grammars  proof-techniques  ambiguity 

Dadas as línguas e , digamos que sua concatenação seja inequívoca se, para todas as palavras , houver exatamente uma decomposição com e e ambígua caso contrário. (Não sei se existe um termo estabelecido para essa propriedade - coisa difícil de procurar!) Como um exemplo trivial, a concatenação de consigo …

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

Os seguintes presentes gramática livre de contexto uma "pendurado outra" tipo ambigüidade (imaginar que aaa significa if expr thene bbb significa elsee ccc está para algum outro tipo de instrução ou bloco): S→aSbS|aS|cS→aSbS|aS|c \begin{aligned} S &\rightarrow aSbS \;|\; aS \;|\; c\\ \end{aligned} Por exemplo,aacbcaacbcaacbcpode ser analisado como(a(acbc))(a(acbc))(a(acbc))ou como(a(ac)bc)(a(ac)bc)(a(ac)bc)(esta é a …

9 context-free  formal-grammars  parsers  ambiguity 

Usar o vetor Earley como reconhecedor é bastante direto: quando o final da string é atingido, basta verificar se uma produção axiomática concluída foi iniciada na posição 0. Se você tiver pelo menos uma, a string será aceita. Usar o vetor Earley para reconstruir a (s) árvore (s) de análise …

9 context-free  dynamic-programming  parsers  ambiguity  syntax-trees 

Fiz uma pergunta pedindo que eu escolhesse o idioma inerentemente ambíguo entre um conjunto de opções. eu1 1= {umanbmcmdn|m , n ≥ 1 } ∪ {umanbncmdm|m , n ≥ 1 }L1={anbmcmdn|m,n≥1}∪{anbncmdm|m,n≥1}L_1 = \{a^nb^mc^md^n \;|\; m,n \geq 1\}\cup \{a^nb^nc^md^m \;|\; m,n \geq 1\} um n dandand eu2= {umanbmcm|m , n ≥ …

7 formal-languages  formal-grammars  context-free  ambiguity