Lenguaje formal

Gramática

Conjunto de reglas
para formar cadenas
finitas con los símbolos
del alfabeto.

Gramáticas sensibles
al contexto

Gramaticas libres de contexto

Gramáticas
regulares.

Un lenguaje cuyos símbolos
primitivos y reglas para unir
símbolos están formalmente
especificados.

Lo conforma

Cadenas

Una cadena finita de simbolos

Puede ser

Cadena de
caracteres

Secuencia finita de
símbolos seleccionados
de algún alfabeto.

Cadena
vacia

No existe
ningún símbolo
que represente

Longitud de
cadena

numero de
símbolos que
conforman
dicha palabra

Operaciones

Concatenación

La unión
entre dos
o mas cadenas

potencia

Corresponde a la concatenacion de la palabra con ella misma

Reflexión

La inversión del
orden de simbolos de una palabra.

Símbolos

Entidad abstracta que no de fine formalmente

Alfabeto

Conjunto finito
no vació de símbolos

Universo de un
alfabeto

Todas las palabras
que se puedan formar
con símbolos, contienen
elementos indefinidos

Operaciones

concatenación.

Potencias.

Cerradoras estrella y
positiva de lenguajes.

Traductores

Un tipo de programa
cuya función es convertir
el código de un lenguaje
en otro

Tipos

Preprocesadores

Compiladores L.A.N

Ensambladores

Traductores de idioma

Interpretes L.A.N

Topic flotante