1. AUTOMATA
1.1. Es una quintupla
1.1.1. Vocabulario de entrada
1.1.2. Vocabulario de salida
1.1.3. Conjunto de estados
1.1.4. funcion trancición entre estados
1.1.5. estado inicial
1.2. son sistemas que reciben una nformacion, transforman, y producen otra información
1.3. tipos
1.3.1. 0: maquina de turing
1.3.1.1. un cabezal que puede leer escribir y cambiar d eestado
1.3.1.2. una cinta infinita y puede desplazarce de izquierda y derecha
1.3.2. 1: Automata lineal acotado
1.3.2.1. igual que maquina de turing pero con cinta finita, delimitada por los simbolos # y $
1.3.3. 2: automata de pila
1.3.3.1. un cabezal que puede solo leer y cambiar de estado
1.3.3.2. una pila que al leer se quita un simbolo y al escribir se apila un simbolo
1.3.3.3. la cinta finita se desplaza en un solo sentido
1.3.3.4. se termina la secuencia cuando ya no hay elementos en la pila
1.3.4. 3: automata finito
1.3.4.1. un cabezal que puede solo leer y cambiar de estado, cuenta con un control de estado
1.3.4.2. una cinta finita que se desplaza en un solo sentido
2. MEALY Y MOORE
2.1. son diagramas de estado, los cuales constan de nodos y arcos
2.2. DIFERENCIA
2.2.1. los diagramas de mealy la salida depende del estado y de la entrada (de donde viene). Graficamente los simbolos de salida son escritos junto con los simbolos de entrada en los arcos Por otro lado tiene menos estados que moore
2.2.2. los diagramas de moore la slaida solo depende del estado son mas seguros que los de mealy ya que lproduce una salida un ciclo después cuando el sistema es muy complejo y grande es dificil de resolverlo con moore Graficamente los simbolo de alida se escriben en los nodos junto con el nombre de estado
3. CONCEPTOS
3.1. SIMBOLO
3.2. CADENA; secuencia de simbolos pertenecoentes al vocabulario
3.3. VOCABULARIO: conjunto de simbolos
3.4. UNIVERSO: conjunto de cadenas posibles que se pueden realizar con los simbolos de un vocabulario (es infinito)
3.5. LENGUAJE: subconjunto finito del universo que cumplen con una Gramatica, es decir ciertas reglass
4. GRAMATICA
4.1. es una cuadrupla:
4.1.1. Vocabulario Terminal
4.1.1.1. (eventos)
4.1.2. Vocabulario no terminal
4.1.2.1. (estados)
4.1.3. Simbolo inicial
4.1.4. conjunto de reglas o Producciones
4.1.4.1. metalenguaje
4.2. es un ENTE FORMAL que describe o genera un lenguaje
4.3. tipos
4.3.1. 0: recursivamente enumerable, no tiene restricciones
4.3.1.1. cadena (TyN)+ -> cadena (TyN)*
4.3.2. 1: sensible al contexto
4.3.2.1. N y cadena(TyN)*->cadena (TyN)*+
4.3.3. 2: libre de contexto
4.3.3.1. N-> cadena(TyN)+
4.3.4. 3: regular
4.3.4.1. N->N, || N->T
5. LENGUAJES
5.1. los lenguajes tienen una correspondencia ISOMORFICA en su estructura jerarquica con respecto a la gramatica y los automatas
5.1.1. es decir tienen los mismos tipos que la gramatica, ya que la gramatica les capaz de generarlo o describir a un lengiaje del mismo tipo o de un numero mayor y que a su vez serán interpretaos por un automata correspondiente a su tipo del mismo numero o menor
5.2. tipos
5.2.1. 0: recursivamente enumerable, no tiene restricciones
5.2.2. 1: sensible al contexto
5.2.3. 2: libre de contexto
5.2.4. 3: regular
5.2.4.1. EXPRESIONES REGULARES
5.2.4.1.1. Son un meta lenguaje para descibir los lenguajes regulares
5.2.4.1.2. OPERACIONES
5.2.4.1.3. PROPIEDADES
5.3. OPERACIONE
5.3.1. Union (OR)
5.3.2. concatenación
5.3.3. potencia L^n
5.3.4. cierre * = U n->0 -inf L^n (concatenación de potencias de lenguaje)
5.3.5. cierre += U n->1-inf L^n