1.

Introduccin a la

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Teora de Autmatas
y Lenguajes Formales
Araceli Sanchis de Miguel
Agapito Ledezma Espino Grado Ingeniera InformDca
Jos A. Iglesias Mar<nez
Teora de Autmatas y Lenguajes Formales
Beatriz Garca Jimnez
Juan Manuel Alonso Weber
1
Objetivos
Presentar la normaDva, los contenidos y objeDvos de la

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

asignatura poniendo nfasis en las aplicaciones prcDcas de la
materia que se va a estudiar.
Conocer la contextualizacin histrica de la Teora de
Autmatas y lenguajes formales. Desde los orgenes hasta los
disDntos campos de los que se ha nutrido esta rea de
conocimiento (Ingeniera, Lenguajes y GramDcas, y
MatemDcas y Computabilidad).
Conocer el esquema bsico que se seguir a travs de la
jerarqua de Chomsky sobre los autmatas, gramDcas y
lenguajes formales.
Conocer otras mquinas abstractas relacionadas que se
encuentran fuera de la jerarqua de Chomsky.
Conocer los lmites de las mquinas abstractas que se 2
estudiarn y sus problemas de complejidad.
ndice

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

El por qu de la Teora de Autmatas

Relacin con otras reas de

Conocimiento

Mquinas, Lenguajes y Algoritmos

3
El por qu de la Teora de Autmatas
Disciplinas de la Computacin segn la Educational

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Activities Board of IEEE:
Computer Engineering , Computer Science, InformaDon
Systems, InformaDon Technologies, SoYware Engineering

Computer Science:
A pesar de la enorme amplitud de la informDca, existen
conceptos y habilidades que son comunes a la informDca en su
conjunto.
Todos los estudiantes de informDca Denen que aprender a
integrar la teora y la prcDca, a reconocer la importancia de la
abstraccin para apreciar el valor del buen diseo de ingeniera
Fuente: CompuDng Curricula 2005. The Overview Report.
4
hbp://www.acm.org/educaDon/curric_vols/CC2005-March06Final.pdf
El por qu de la Teora de Autmatas

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Ciencias de la Computacin: cuerpo de conocimiento que se
ocupa del estudio de los fundamentos tericos de la
informacin y la computacin y de su implementacin y
aplicacin en sistemas computacionales.

Gibbs y Tucker (1986):

No se debe entender que el objeDvo de las Ciencias de la
Computacin sea la construccin de programas sino el estudio
sistemDco de los algoritmos y estructuras de datos,
especcamente de sus propiedades formales
Gibbs, N. E. and Tucker, A. B. 1986. A model curriculum for a liberal
arts degree in computer science. Commun. ACM 29, 3 (Mar. 1986),
202-210. DOI= hbp://doi.acm.org/10.1145/5666.5667 5
El por qu de la Teora de Autmatas
Primera inmersin en la Teora de la Computacin:

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Es anterior al invento del Computador (incluso del transistor)

Propiedades MATEMTICAS FUNDAMENTALES de SoYware,

Hardware y aplicaciones de los mismos. Responder a preguntas
como:
Cmo puede construirse un programa para resolver un problema?
Resuelve el programa realmente el problema?
Cunto se tarda en realizar un cmputo (complejidad temporal).
Cuanta memoria se necesita para realizar el computo (complejidad
espacial).
Y el modelo de computacin (ImperaDvo, POO, Programacin.
Lgica, etc.)
6
Qu se puede computar y qu NO se puede computar.
El por qu de la Teora de Autmatas.
Aplicacin directa de conceptos propios de las Ciencias de la Computacin:

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Videojuegos
Comportamiento de personajes
Compiladores y Procesamiento de Lenguaje Natural
Anlisis Lxico en lenguajes programacin (compilador).
Bsqueda de cadenas o comparacin de patrones
Diseo de nuevos lenguajes de programacin o ampliacin
Implementacin de Protocolos Robustos
Para clientes o usuarios
E.g. Sistemas de Seguridad
Criptograua Moderna (sus protocolos)
7

El por qu de la Teora de Autmatas.
Aplicacin directa de conceptos propios de las Ciencias de la Computacin:

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Construccin de sistemas computacionales ms elegantes y
sencillos.
Diseo (Maquina Secuencial --> Cdigo)
Diseo de estructuras y parsing: gramaDcas (ej: XML)
Bsqueda de cadenas o comparacin de patrones
SW para disear y evaluar circuitos digitales.
Escanear grandes canDdades de texto (web)
SW para vericar sistemas que Dene un nmero nito de
estados
8
El por qu de la Teora de Autmatas

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Teora de la Computacin:
Aburrida y arcaica? NO, es Comprensible e Interesante.

Proporciona al Ingeniero:
Aspectos tericos (permite innovacin)
Autmatas,
Representacin Estructural (GramDcas)
Autmatas y Mquinas para establecer limites de la Computabilidad.
Aspectos prcDcos (ingeniera)

9
ndice

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

El por qu de la Teora de Autmatas

Relacin con otras reas de

Conocimiento

Mquinas, Lenguajes y Algoritmos

10
Relacin con otras reas.
Grado en Ingeniera InformDca

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

MatemDca Tecnologa de Computadores,
Discreta (3) Estructura de computadores(1)
Programacin,
Procesos POO, EDA (1)
Digitales

TEORIA DE AUTOMATAS Y
LENGUAJES FORMALES
(+ Teora Avanzada de la Computacin)

Inteligencia ArDcial
Metodologa de la
Programacin
Desarrollo Sistemas SW
(No Ing. de SW)
Procesadores 11
de Lenguajes
ndice

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

El por qu de la Teora de Autmatas

Relacin con otras reas de

Conocimiento

Mquinas, Lenguajes y Algoritmos

12
Mquinas, Lenguajes y Algoritmos
Tres pilares sustentan la
Teora de Lenguajes,

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Gramticas y Autmatas
AUTMATAS COMPUTABILIDAD
(ingeniera) (matemticas)
Hilbert, 1928
Leonardo Torres, 1915 Gdel, Kleene, Post y Turing,
Shannon, 1938 1930
Mc Culloch-Pitts, 1943 Church, 1936
Moore, 1956 Rabin, 1960
Cobhan, 1964
LENGUAJES y GRAMTICAS Cook, 1972
(lingstica) Aho, Hopcroft, Ullman, 1974
Panini, entre el 400 y 200 AC
Chomsky, 1967
Backus, 1960
Kleene, 1951
Hirst, Tennant y Carbonell,
1981

13
 Mquinas, Lenguajes y Algoritmos
Aplicacin en campos muy diversos

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Manejan conceptos como control, accin, memoria

Los objetos son controlados o recordados con smbolos, palabras o

frases de algn Dpo.

Mquina de Moore y mquina de Mealy

Circuitos combinatorios

Autmatas ProbabilsDcos (incerDdumbre en las transiciones)

Mquinas o
Autmatas
McCulloch-Pibs (1943) describieron los clculos lgicos inmersos en
un disposiDvo denominado neurona arDcial.
Redes de Neuronas ArDciales

Autmatas Celulares (J.H. Conway, el juego de la vida). 14

 Mquina de Turing Universal, Jim Wiked.

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

15
Mquinas, Lenguajes y Algoritmos
Lenguajes y GramDcas

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Origen en la lingsDca

Noam Chomsky
Jerarqua de Chomsky (1956)
Noam Chomsky
(1928 - )

Backus normal form
(para gramDca de ALGOL)
Lenguajes de Programacin
Lenguajes Naturales
Sistemas de Comandos
John Backus 16
(1924 - 2007)

Mquinas, Lenguajes y Algoritmos

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

G. Regulares
G3
G. Indep
Contexto
G2
G. Dependientes
Autmatas del Contexto G1

Finitos
Autmatas Pila G. sin restricciones
G0

Autmatas
Linealmente
Lenguajes Acotados
Regulares
Lenguajes Mquinas de Turing
Indep.
Contexto Lenguajes
Dependientes
Contexto

Lenguajes sin 17
restricciones
Mquinas, Lenguajes y Algoritmos

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Algoritmos Lenguajes

Mquinas 18
(AF, AP, MT)
 BibliograMa
Referencias bsicas :

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

1. J. E. HopcroY, R. Motwani, J. D. Ullman. Introduccin a la Teora de Autmatas,
Lenguajes y Computacin. Ed. Pearson Addison Wesley , 2008
Captulo 1. Introduccin a lo Autmatas
2. E. Alfonseca Cubero, M. Alfonseca Moreno, R. Moriyn Salomn. Teora de
Autmatas y Lenguajes Formales. Ed. McGraw-Hill, 2007
Captulo 1. Mquinas, Lenguajes y Problemas.
Referencias complementarias:
1. P. Isasi, P. Mar<nez, D. Borrajo. Lenguajes, GramDcas y Autmatas: Un enfoque
prcDco. Ed. Addison-Wesley, 1997
Captulo 2. Lenguajes y GramDcas Formales
2. D. M Kelley. Teora de autmatas y lenguajes formales. PrenDce-Hall, 1995
Captulo 2. Lenguajes Regulares.
3. R. Penrose. La Nueva Mente del Emperador. DeBolsillo, 2011
Captulo 1. Puede tener mente un computador?
Captulo 2. Algoritmos y mquinas de Turing
4. R. Penrose. Las sombras de la mente: hacia una comprensin cien<ca de la
consciencia. Mondadori. 1996
5. D.R. Hofstadter. Gdel, Escher, Bach : un eterno y grcil bucle. Tusquets, 1998 19
1. Introduccin a la

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Teora de Autmatas
y Lenguajes Formales
Araceli Sanchis de Miguel
Agapito Ledezma Espino Grado Ingeniera InformDca
Jos A. Iglesias Mar<nez
Teora de Autmatas y Lenguajes Formales
Beatriz Garca Jimnez
Juan Manuel Alonso Weber
20