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

Como as expressões Lambda são traduzidas no código de bytes Java

Estou tentando criar um exemplo usando a expressão lambda em java e estou usando o JDK8 oficial. Meu exemplo foi executado com sucesso. Mas quando estou tentando verificar como o compilador traduz a expressão lambda em código de bytes, isso me ...

Qual é a definição precisa de um conjunto de lookahead?

Estou brincando com compiladores e aprendendo sobre a teoria por trás da análise de sintaxe. Descobri que, embora seja um conceito-chave para entender os algoritmos de reconhecimento, as informações sobre ele na rede são razoavelmente precárias. ...

Maneira eficiente de calcular recursivamente a árvore dominadora?

Estou usando o algoritmo Lengauer e Tarjan com compactação de caminho para calcular a árvore dominadora para um gráfico em que existem milhões de nós. O algoritmo é bastante complexo e tenho que admitir que não tomei tempo para entendê-lo ...

Quais recursos de linguagem são necessários em uma linguagem de programação para criar um compilador?

Controle de recuo durante o desenvolvimento de uma linguagem semelhante a python

Estou desenvolvendo um pequeno python como linguagem usando flex, byacc (para lexical e análise) e C ++, mas tenho algumas perguntas sobre controle de escopo. Assim como o python, ele usa espaços em branco (ou tabulações) para indentação, não ...

Passos para criar um NFA a partir de uma expressão regular

Estou com problemas "descrevendo cada etapa" ao criar um NFA a partir de uma expressão regular. A questão é a seguinte:Converta a seguinte expressã...

Quais linguagens de programação são livres de contexto?

u, para ser um pouco mais preciso: quais linguagens de programação são definidas por uma gramática livre de context Pelo que eu coleciono C ++ não é livre de contexto devido a coisas como macros e modelos. Meu instinto me diz que as linguagens ...

Em que são escritos os compiladores modernos e antigos?

Como um compilador, que não seja um intérprete, precisa apenas traduzir a entrada e não executá-la, o desempenho em si não deve ser tão problemático como em um intérprete. Portanto, você não escreveria um intérprete, digamos Ruby ou PHP, porque ...

Removendo a recursão esquerda no ANTLR

Como é explicado emRemovendo a recursão esquerda [https://stackoverflow.com/questions/2652060/removing-left-recursion], existem duas maneiras de remover a recursão esquerda. Modifique a gramática original para remover a recursão esquerda usando ...