Preguntas etiquetadas con compilers

En el diseño del compilador, ¿por qué debería eliminarse la recursividad izquierda en las gramáticas? Estoy leyendo que es porque puede causar una recursión infinita, pero ¿no es cierto también para una gramática recursiva correcta?

20 formal-grammars  compilers  left-recursion 

Quiero analizar idiomas específicos de dominio definidos por el usuario. Estos lenguajes suelen estar cerca de las notaciones matemáticas (no estoy analizando un lenguaje natural). Los usuarios definen su DSL en una notación BNF, así: expr ::= LiteralInteger | ( expr ) | expr + expr | expr * expr …

20 formal-languages  parsers  compilers 

El ensamblador convierte el lenguaje ensamblador en lenguaje máquina. ¿Por qué un compilador convertiría lenguaje de alto nivel a ensamblador? ¿No se puede convertir directamente del lenguaje de alto nivel al código de máquina?

19 compilers  code-generation  assembly 

De acuerdo con la página de Wikipedia sobre asignación única estática (SSA) , SSA es utilizada por proyectos grandes y conocidos como LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey y V8, mientras que la página de proyectos utiliza un estilo de paso continuo. (CPS) es un poco deficiente en comparación. Tengo …

16 compilers  program-optimization  continuations 

Es posible analizar un documento con una sola pasada desde una máquina de estado. ¿Cuál es el beneficio de tener dos pases, es decir. ¿Tiene un lexer para convertir texto en tokens y un analizador para probar las reglas de producción en esos tokens? ¿Por qué no tener una sola …

15 compilers  parsers 

Estoy trabajando en un compilador para un lenguaje concatenante y me gustaría agregar soporte de inferencia de tipos. Entiendo Hindley-Milner, pero he estado aprendiendo la teoría de tipos a medida que avanzo, así que no estoy seguro de cómo adaptarla. ¿El siguiente sistema es sólido y decididamente infeccioso? Un término …

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

¿Hay alguna diferencia entre los dos? Según el libro de Ullman , los compiladores convierten un idioma a otro (generalmente de bajo nivel), y también lo hace un ensamblador. ¿Cómo son los dos diferentes?

15 terminology  compilers 

Estoy familiarizado con la idea de la eliminación básica de la recursividad de la cola, donde las funciones que devuelven el resultado directo de una llamada pueden reescribirse como bucles iterativos. foo(...): # ... return foo(...) También entiendo que, como un caso especial, la función aún se puede reescribir si …

14 compilers  recursion  program-optimization  tail-recursion 

¿La salida de un analizador tiene que ser un árbol o también podría ser un gráfico general? Además, ¿hay algún lenguaje existente o plausible que use la representación gráfica general en lugar de árboles para su sintaxis?

13 compilers  parsing 

A menudo trabajo con lexer / parsers , a diferencia de un combinador de analizadores y veo personas que nunca tomaron una clase de análisis, preguntan sobre el análisis de datos binarios. Por lo general, los datos no solo son binarios, sino también sensibles al contexto. Básicamente, esto lleva a …

13 programming-languages  compilers  parsers 

Tengo un problema con este ejercicio: Sea G la siguiente gramática ambigua para el cálculo λ: E → v | λv.E | EE | (E) donde E es el símbolo único no terminal, λv.E representa la abstracción wrt la variable v en E, y EE representa la aplicación. Defina una …

13 context-free  formal-grammars  compilers  parsers 

Creo que entiendo cómo la deforestación consume y produce una lista al mismo tiempo (desde una función de plegado y desplegado; vea esta buena respuesta en CodeReview aquí ), pero cuando comparé eso con la entrada de wikipedia sobre la técnica que habló sobre 'eliminar árboles 'de un programa. Entiendo …

12 terminology  compilers  functional-programming 

Recientemente estoy estudiando sobre el diseño de compiladores. Llegué a conocer dos tipos de gramática, una es la gramática LL y la otra es la gramática LR. También conocemos los hechos de que cada gramática LL es LR, es decir, la gramática LL es un subconjunto adecuado de la gramática …

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

Esta es una pregunta del Libro del Dragón. Esta es la gramática: S→AaAb∣BbBaS→AaAb∣BbBaS \to AaAb \mid BbBa B → εA→εA→εA \to \varepsilon B→εB→εB \to \varepsilon La pregunta pregunta cómo mostrar que es LL (1) pero no SLR (1). Para demostrar que es LL (1), intenté construir su tabla de análisis, …

12 formal-grammars  compilers  parsers 

En un comentario a Learning F #: ¿Qué libros que usan otros lenguajes de programación se pueden traducir a F # para aprender conceptos funcionales? Makarius declaró: Tenga en cuenta que el enfoque "CPS" ha hecho un gran daño al rendimiento en SML / NJ. Su modelo de evaluación física …

11 compilers  functional-programming  proof-assistants  continuations