Perguntas com a marcação «compilers»

No design do compilador, por que a recursão à esquerda deve ser eliminada nas gramáticas? Estou lendo que é porque pode causar uma recursão infinita, mas também não é verdade para uma gramática recursiva correta?

20 formal-grammars  compilers  left-recursion 

Desejo analisar idiomas específicos do domínio definido pelo usuário. Essas linguagens são tipicamente próximas de notações matemáticas (não estou analisando uma linguagem natural). Os usuários definem sua DSL em uma notação BNF, assim: expr ::= LiteralInteger | ( expr ) | expr + expr | expr * expr O tipo …

20 formal-languages  parsers  compilers 

A linguagem assembly é convertida em linguagem de máquina pelo assembler. Por que um compilador converteria linguagem de alto nível em assembly? Não é possível converter diretamente do idioma de alto nível para o código da máquina?

19 compilers  code-generation  assembly 

De acordo com a página da Wikipedia sobre atribuição estática-única (SSA) , o SSA é usado por projetos grandes e conhecidos, como LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey e V8, enquanto a página em projetos usa o estilo de passagem de continuação (CPS) é um pouco ausente em comparação. Eu …

15 compilers  program-optimization  continuations 

É possível analisar um documento usando uma única passagem de uma máquina de estado. Qual é o benefício de ter dois passes, ie. tendo um lexer para converter texto em tokens e tendo um analisador para testar as regras de produção nesses tokens? Por que não ter uma única passagem …

15 compilers  parsers 

Estou trabalhando em um compilador para uma linguagem concatenativa e gostaria de adicionar suporte à inferência de tipo. Entendo Hindley-Milner, mas tenho aprendido a teoria dos tipos à medida que passo, por isso não tenho certeza de como adaptá-la. O sistema a seguir é sólido e decididamente inferível? Um termo …

15 programming-languages  logic  compilers  type-theory  type-checking 

Estou familiarizado com a idéia de eliminação básica da recursão da cauda, ​​em que funções que retornam o resultado direto de uma chamada para elas mesmas podem ser reescritas como loops iterativos. foo(...): # ... return foo(...) Também entendo que, como um caso especial, a função ainda pode ser reescrita …

14 compilers  recursion  program-optimization  tail-recursion 

Existe alguma diferença entre os dois? De acordo com o livro de Ullman , os compiladores convertem um idioma para outro (geralmente de baixo nível), assim como um assembler. Como os dois são diferentes?

14 terminology  compilers 

A saída de um analisador precisa ser uma árvore ou também pode ser um gráfico geral? Além disso, existe alguma linguagem existente ou plausível que use a representação geral de gráficos em vez de árvores para sua sintaxe?

13 compilers  parsing 

Costumo trabalhar com lexer / parsers , ao contrário de um combinador de analisador e vejo pessoas que nunca tiveram aula em análise, perguntam sobre a análise de dados binários. Normalmente, os dados não são apenas binários, mas também sensíveis ao contexto. Isso basicamente leva a ter apenas um tipo …

13 programming-languages  compilers  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 acho que entendo como o desmatamento consome e produz uma lista ao mesmo tempo (de uma dobra e uma função desdobrada - veja esta boa resposta no CodeReview aqui ), mas quando eu comparei isso com a entrada da Wikipedia sobre a técnica que ele falou sobre 'remover árvores …

12 terminology  compilers  functional-programming 

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 …

12 formal-grammars  compilers  parsers  lr-k  ll-k 

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 obtendo …

12 formal-grammars  compilers  parsers 

Em um comentário ao Learning F #: que livros usando outras linguagens de programação podem ser traduzidos para o F # para aprender conceitos funcionais? Makarius declarou: Observe que a abordagem "CPS" causou grandes danos ao desempenho em SML / NJ. Seu modelo de avaliação física viola muitas suposições embutidas …

11 compilers  functional-programming  proof-assistants  continuations