1.

GRAMTICA
1.1. DEFINICIN:
1.1. Conceptual:
Ente formal para especificar de una manera finita, el conjunto de cadenas de
smbolos que constituyen un lenguaje.

1.2. Formal:
2. EXPRESIONES REGULARES
- Las expresiones regulares son un metalenguaje para describir a otros
lenguajes.
- Surgen para poder representar de manera condensada un lenguaje.
2.1. OPERACIONES CON LENGUAJES REGULARES.
Unin o alternativa: Conjunto formado por las cadenas que pertenezcan a
uno o a otro de los dos lenguajes.
Concatenacin: Conjunto de todas las cadenas formadas concatenando una
palabra del primer lenguaje con otra del segundo.
Potencia de un lenguaje: Es un caso particular de la anterior.
Cierre y operacin estrella: Es otro lenguaje obtenido uniendo el lenguaje L
con todas sus potencias posibles.
Cierre positivo: Es otro lenguaje obtenido uniendo el lenguaje L con todas sus
potencias posibles. Excepto .
2.2. DEFINICION RECURSIVA DE LAS EXPRESIONES REGULARES
3. AUTOMATA DE PILA
Autmata capaz de reconocer lenguajes de libre contexto o de tipo 2.
4. AUTOMATA

Vocabulario: Es un conjunto finito de smbolos, no vacio.

Cadena: Es una secuencia de smbolos de un determinado alfabeto.
Longitud de cadena: Es el nmero de smbolos que contiene.
Universo del discurso: Es el conjunto de cadenas que se pueden formar con los smbolos
de un alfabeto.

Lenguaje: Es un conjunto de palabras de un determinado alfabeto. Formal:

Autmata: Es una construccin lgica que recibe una entrada y produce una salida en
funcin de todo lo recibido hasta ese instante. Formal:
 Mquina de turing: Construccin lgica que se puede representar como un dispositivo
mecnico, formado por una cinta infinita dividida en celdas y un cabezal de
lectura/escritura que se mueve sobre esa cinta avanzando una por una. Formal:

AFD: es un autmata finito que adems es un sistema determinista; es decir, para cada
estado en que se encuentre el autmata, y con cualquier smbolo del alfabeto ledo,
existe siempre a lo ms una transicin posible desde ese estado y con ese smbolo.

Formalmente, se define como una 5-tupla (Q, , q0, , F) donde:1

es un conjunto de estados;
es un alfabeto;
es el estado inicial;
es una funcin de transicin;
es un conjunto de estados finales o de aceptacin.
En un AFD no pueden darse ninguno de estos dos casos:
Que existan dos transiciones del tipo (q,a)=q1 y (q,a)=q2, siendo q1 q2;
Que existan transiciones del tipo (q, ), donde es la cadena vaca, salvo
que q sea un estado final, sin transiciones hacia otros estados.
 AFND: es un autmata finito que, a diferencia de los autmatas finitos
deterministas (AFD), posee al menos un estado q Q, tal que para un
smbolo a del alfabeto, existe ms de una transicin (q,a) posible

Definicin formal[editar]
Formalmente, si bien un autmata finito determinista se define como
una 5-tupla (Q, , q0, , F) donde:1

es un conjunto de estados;
es un alfabeto;
es el estado inicial;
es una funcin de transicin;
es un conjunto de estados finales o de aceptacin.
en un AFND la funcin de transicin se define como:

Para el caso de los AFND-, se suele expresar la funcin de

transicin de la forma: