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

  • 12,468 views
Uploaded on

Universidad Técnica Particular de Loja …

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

More in: Technology
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Be the first to comment
No Downloads

Views

Total Views
12,468
On Slideshare
0
From Embeds
0
Number of Embeds
3

Actions

Shares
Downloads
335
Comments
0
Likes
2

Embeds 0

No embeds

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
    No notes for slide

Transcript

  • 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. Autómatas
    • Máquina conceptual  capacidad procesar  cadenas (texto)
  • 3. Autómatas
    • Aplicaciones
    • Reconocedores de lenguaje
    • Comparación de cadenas
    • Ejemplos (word  diccionario, buscar, reemplazar)
  • 4. Alfabetos
    • Conjunto de símbolos
    • A={a,b,c,d, ….z}
  • 5. Palabras
    • Concatenación de símbolos pertenecientes a un alfabeto
    • A={a,b,c,d, ….z}
    • casa
  • 6. Lenguaje
    • Conjunto de palabras formadas sobre un alfabeto
    • L={alfabeto castellano}
    • Restricciones (ciertas palabras)
  • 7. Autómata finito
    • Estados + transiciones
    • Reconocer construcción (palabra)
    • Finito
    1 2 3
  • 8. Autómata finito
    • 5 tupla
    • (
    • Q,
    • Símbolos de entrada,
    • Transición,
    • Estado inicial,
    • {} estados finales
    • )
  • 9. Autómata finito determinista 1 2 3 a b c
  • 10. Diagrama y tabla de transiciones 1 2 3 a b c
  • 11. Autómata finito no determinista 1 2 3 a a c
  • 12. Equivalencia E-R autómata Ejemplo
  • 13. Conversión AFND AFD Ejemplo
  • 14. Expresión regular Representar lenguaje Abreviación L(L│D) +
  • 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. Operaciones con lenguajes Unión Concatenación Clausura
  • 17. Precedencia de operadores * clausura . U
  • 18. Análisis léxico
    • Lenguajes de programación
    • Análisis léxico
    • Análisis sintáctico
    • Análisis semántico
  • 19. Análisis léxico
    • Apertura del archivo
    • Lectura de sus caracteres (símbolos)
    • Concatenación
    • Comparación de cadenas
    • Retorno del token
  • 20. Especificación componentes léxicos
    • Diseño de lenguaje de programación
    • Palabras reservadas
    • Identificadores
    • Ejemplo: L(L│D)+