1. Compilador
1.1. Un compilador es un programa que lee un programa escrito en un lenguaje (fuente) y lo traduce a un programa equivalente en otro lenguaje (objeto)
1.2. fases
1.2.1. programa fuente
1.2.2. analizador lexico
1.2.3. analizador sintactico
1.2.4. analizador semantico
1.2.5. generador de codigo intermedio
1.2.6. optimador de codigo
1.2.7. generador de codigo
1.2.8. administrador de la tabla de simbolos
1.2.9. manejador de errores
1.2.10. programa objeto
2. Traductor
2.1. Definicion
2.1.1. Un traductor es un programa que traduce o convierte desde un texto o programa escrito en un lenguaje fuente hasta un texto o programa escrito en un lenguaje destino produciendo, si cabe, mensajes de error. Los traductores engloban tanto al compilador como al intérprete. Esquema inicial para un traductor
3. Alfabetos
3.1. definicion
3.1.1. Conjunto finito no vacío de simbolos
3.2. Ejemplos
3.2.1. Decimal
3.2.2. Octal
3.2.3. Hexadecimal
4. Lenguajes
4.1. DEfinicion
4.1.1. Un lenguaje es cualquier subconjunto del universo sobre algún alfabeto, es decir, L ⊂ W(Σ), o también L ⊂ Σ ∗
4.2. Ejemplos
4.2.1. Lenguajes triviales
4.2.2. L = ∅ es el lenguaje vacio (que no contiene ninguna palabra), |L| = 0 • L = {} es el lenguaje que solamente contiene la palabra vacio, |L| = 1
5. Operaciones
5.1. Unión:
5.2. Intersección:
5.3. Complemento:
5.4. Diferencia:
5.5. Concatenación:
5.6. Potencia:
6. Palabras, Cadenas
6.1. Definicion
6.1.1. Una secuencia finita de símbolos de un alfabeto es una palabra sobre dicho alfabeto
6.2. Ejemplos
6.2.1. Σ1 : 0, 1, 00, 01, 11, 000, 1001101 Σ2 : a, aa, abb, ababa Σ3 : napa, palabra Σ6 : a, ab, aab, aaab, abab