Filminas Segunda semana CI-1322 Autómatas y Compiladores Elaborado por: Sergio Pastrana Espinoza A33888
Definición de un lenguaje de programación Sintaxis Semántica
Sintaxis Grámatica independiente del contexto: especifica la sintaxis de un lenguaje; describe de forma natural la estructura jerárquica de muchas construcciones de los lenguajes de programación.
Análisis sintáctico Es determinar si una cadena de componentes léxicos puede ser generado por una gramática Análisis sintáctico descendente tipo-> simple ^id array [ simple ] of tipo simple-> integer char num puntopunto num
Análisis Semántico En el que se realizan ciertas revisiones para asegurar que los componentes de un programa se ajustan de un modo significativo. Un componente importante del análisis semántico es la verificación de tipos, el compilador verifica se cada operador tiene operandos permitidos por la especificación del lenguaje fuente
Gramáticas Se utilizan para la generación del árbol de análisis sintáctico de la hilera de entrada Componentes P -> Producciones T -> Tokens V -> No terminales S -> Inicial
Componentes de la gramática Conjunto de componentes léxicos (TERMINALES) Conjunto de no terminales Conjunto de producciones La denominación de uno de los no terminales como símbolo inicial
Gramática libre de contexto. Un lenguaje de programación puede ser definido por su sintaxis y por su semántica. La gramática libre de contexto (BNF, por Backus-Naus Form) sirve para especificar la sintaxis del lenguaje. Una BNF está constituida por cuatro componentes: