200 likes | 312 Views
TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES. ESCUELA :. CIENCIAS DE LA COMPUTACIÓN. ING. JUAN CARLOS TORRES. PONENTE :. I BIMESTRE. BIMESTRE :. ABRIL 2007 – AGOSTO 2007. CICLO :. Autómatas. Máquina conceptual capacidad procesar cadenas (texto). Autómatas. Aplicaciones
E N D
TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES ESCUELA: CIENCIAS DE LA COMPUTACIÓN ING. JUAN CARLOS TORRES PONENTE: I BIMESTRE BIMESTRE: ABRIL 2007 – AGOSTO 2007 CICLO:
Autómatas • Máquina conceptual capacidad procesar cadenas (texto)
Autómatas • Aplicaciones • Reconocedores de lenguaje • Comparación de cadenas • Ejemplos (worddiccionario, buscar, reemplazar)
Alfabetos • Conjunto de símbolos • A={a,b,c,d, ….z}
Palabras • Concatenación de símbolos pertenecientes a un alfabeto • A={a,b,c,d, ….z} • casa
Lenguaje • Conjunto de palabras formadas sobre un alfabeto • L={alfabeto castellano} • Restricciones (ciertas palabras)
Autómata finito • Estados + transiciones • Reconocer construcción (palabra) • Finito 1 2 3
Autómata finito • 5 tupla • ( • Q, • Símbolos de entrada, • Transición, • Estado inicial, • {} estados finales • )
Autómata finito determinista a 1 2 b c 3
Diagrama y tabla de transiciones a 1 2 b c 3
Autómata finito no determinista a 1 2 a c 3
Equivalencia E-R autómata Ejemplo
Conversión AFND AFD Ejemplo
Expresión regular Representar lenguaje Abreviación L(L│D)+
Expresiones regulares Base (E) y 0 L(E)={E} L(0)= 0 aa es una E R L(a)={a} L cualquier lenguaje Paso inductivo +, ., *(clausura), ()
Operaciones con lenguajes Unión Concatenación Clausura
Precedencia de operadores * clausura . U
Análisis léxico • Lenguajes de programación • Análisis léxico • Análisis sintáctico • Análisis semántico
Análisis léxico • Apertura del archivo • Lectura de sus caracteres (símbolos) • Concatenación • Comparación de cadenas • Retorno del token
Especificación componentes léxicos • Diseño de lenguaje de programación • Palabras reservadas • Identificadores • Ejemplo: L(L│D)+