Successfully reported this slideshow.

Teoría de Autómatas y Lenguajes Formales (I Bimestre)

14,924 views

Published on

Universidad Técnica Particular de Loja
Ciencias de la Computación
Teoría de Autómatas y Lenguajes formales
I Bimestre
Abril-Agosto 2007
Ponente: Ing. Juan Carlos Torres

Published in: Technology
  • Be the first to comment

Teoría de Autómatas y Lenguajes Formales (I Bimestre)

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

×