
LINGÜÍSTICA
MATEMÁTICA
• Alfabetos
• Palabras
• Lenguajes
• Gramática formal
• Tipos de lenguajes
• L. Regulares
• Definición
• Expresiones
regulares
• L. Independientes
del Contexto
• Limpia
• Bien Formada
• Análisis Sintáctico
• ¿L()?
• Árbol
• Ambigüedad
• Recursión
• Factorización
• Forma Normal
UTN – FRC – ISI – SSL – Lingüística Matemática
JCV – 8
SINTAXIS Y SEMÁNTICA DE LOS LENGUAJES
• LENGUAJES REGULARES
• Todo lenguaje finito es regular.
• Si L1 y L2 son lenguajes regulares, también lo son su unión,
concatenación y clausura transitiva y reflexiva.
• Solo son regulares los lenguajes construidos con lo anterior.
• EXPRESIONES REGULARES (ER)
•
es una ER que denota al lenguaje L() = {}
•
es una ER que denota al lenguaje L() = {}
• a, a es una ER que denota al lenguaje L(a) = {a}
Si E1 y E2 son expresiones regulares que denotan a L1 y L2, entonces:
• E1+E2 es una ER que denota al lenguaje L(E1+E2) = L1 L2
• E1.E2 es una ER que denota al lenguaje L(E1 . E2) = L1 . L2
• E1* es una ER que denota al lenguaje L(E1*) = L*(E1) = L1*
• (E1) es una ER que denota al lenguaje L((E1)) = L(E1) = L1
• Sólo son ER las construidas con las reglas anteriores.