Resultados da pesquisa a pedido "context-free-grammar"
O que são [Rendimento, Espera, Entrada, Retorno] na gramática EcmaScript
Muitas produções em EcmaScript são fornecidas com os seguintes "modificadores": [Yield, Await, In, Return]Aqui estão alguns exemplos: ArrayLiteral[Yield, Await]: ... ElementList[Yield, Await]: ... AssignmentExpression[+In, ?Yield, ?Await]Eu ...
Existe um algoritmo rápido para determinar o número godel de um termo de uma linguagem livre de contexto?
Suponha que tenhamos uma especificação gramatical simples. Existe uma maneira de enumerar os termos dessa gramática que garante que qualquer termo finito terá uma posição finita,iterando-o na ...
bison / yacc - limites de configurações de precedência
Então, eu tenho tentado analisar uma gramática de linguagem semelhante a haskell com bison. Vou omitir os problemas padrão com gramáticas e menos unários (como, o que é(-5) de-5 e\x->x-5 ou sea-b éa-(b) ouapply a (-b) que ainda pode serapply a ...
Propriedades de fechamento de idiomas livres de contexto
Eu tenho o seguinte problema: Os idiomas L1 = {a ^ n * b ^ n: n> = 0} e L2 = {b ^ n * a ^ n: n> = 0} são idiomas livres de contexto; portanto, são fechados sob o L1L2; portanto, L = {a ^ n * b ^ 2n A ^ n: n> = 0} também deve ser livre de ...
Como encontrar os conjuntos PRIMEIRO e SEGUINTE de uma gramática recursiva?
Suponha que eu tenho o seguinte CFG. A -> B | Cx | EPSILON B -> C | yA C -> B | w | zAgora, se eu tentar encontrar FIRST(C) = FIRST(B) U FIRST(w) U FIRST(z) = FIRST(C) U FIRST(yA) U {w, z}Ou seja, estou entrando em loop. Assim, presumo que ...
Convertendo gramática ambígua em inequívoca
Não entendi como uma gramática inequívoca é derivada de uma gramática ambígua? Considere o exemplo no site:Exemplo [http://www.d.umn.edu/~hudson/5641/l22m.pdf] . Como a gramática foi derivada é confusa para mim. Alguém pode me guiar?
Como posso determinar se um idioma é livre de contexto ou não?
Como posso saber se os idiomas são livres de contexto ou não?
Encontrar uma gramática não é LL (1) sem usar métodos clássicos e transformá-la em LL (1)
Digamos que eu tenho essa gramática: S -> A C x | u B A A -> z A y | S u | ε B -> C x | y B u C -> B w B | w A Esta gramática obviamente não é LL (1), que posso encontrar na construção da tabela de análise. Mas há alguma maneira de provar que ...
Qual é a gramática livre de contexto para o complemento da palavra dupla acima de 0,1?
Qual é o CFG do complemento de L = {ww | w pertence a {0,1} *}?
ramática livre @Context para não-palíndromo
Preciso de um CFG que gere strings diferentes de palíndromos. A solução foi fornecida e é a seguinte: (Introdução à teoria da computação - Sipser) R -> XRX | S S -> aTb | bTa T -> XTX | X | <epsilon> X -> a | b Tenho uma idéia geral de como ...