Araceli

Sanchis de Miguel
Agapito Ledezma Espino
Jos A. Iglesias Mar<nez
Beatriz Garca Jimnez
Juan Manuel Alonso Weber

Grado Ingeniera InformDca

Teora de Autmatas y Lenguajes Formales

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

1. Introduccin a la
Teora de Autmatas
y Lenguajes Formales

 Presentar la normaDva, los contenidos y objeDvos de la

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
estudiarn y sus problemas de complejidad.

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

Objetivos

El por qu de la Teora de Autmatas

Relacin con otras reas de
Conocimiento
Mquinas, Lenguajes y Algoritmos

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

ndice

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.
hbp://www.acm.org/educaDon/curric_vols/CC2005-March06Final.pdf

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

El por qu de la Teora de Autmatas

Disciplinas de la Computacin segn la Educational

 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

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

El por qu de la Teora de Autmatas

 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.)
Qu se puede computar y qu NO se puede computar.

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

El por qu de la Teora de Autmatas

Primera inmersin en la Teora de la Computacin:

 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)

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

El por qu de la Teora de Autmatas.

Aplicacin directa de conceptos propios de las Ciencias de la Computacin:

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

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

El por qu de la Teora de Autmatas.

Aplicacin directa de conceptos propios de las Ciencias de la Computacin:

 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)

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

El por qu de la Teora de Autmatas

El por qu de la Teora de Autmatas

Relacin con otras reas de
Conocimiento
Mquinas, Lenguajes y Algoritmos

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

ndice

10

MatemDca
Discreta (3)

Tecnologa de Computadores,
Estructura de computadores(1)

Programacin,
POO, EDA (1)

Procesos
Digitales

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

Metodologa de la
Programacin
Procesadores
de Lenguajes

Inteligencia ArDcial
Desarrollo Sistemas SW
(No Ing. de SW)

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

Relacin con otras reas.

Grado en Ingeniera InformDca

11

El por qu de la Teora de Autmatas

Relacin con otras reas de
Conocimiento
Mquinas, Lenguajes y Algoritmos

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

ndice

12

Gramticas y Autmatas
AUTMATAS
(ingeniera)
Leonardo Torres, 1915
Shannon, 1938
Mc Culloch-Pitts, 1943
Moore, 1956

LENGUAJES y GRAMTICAS
(lingstica)
Panini, entre el 400 y 200 AC
Chomsky, 1967
Backus, 1960
Kleene, 1951
Hirst, Tennant y Carbonell,
1981

COMPUTABILIDAD
(matemticas)
Hilbert, 1928
Gdel, Kleene, Post y Turing,
1930
Church, 1936
Rabin, 1960
Cobhan, 1964
Cook, 1972
Aho, Hopcroft, Ullman, 1974

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

Mquinas, Lenguajes y Algoritmos

Tres pilares sustentan la

Teora de Lenguajes,

13

 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
Mquinas o
Autmatas

Autmatas ProbabilsDcos (incerDdumbre en las transiciones)

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).

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

Mquinas, Lenguajes y Algoritmos

Aplicacin en campos muy diversos

14

Mquina de Turing Universal, Jim Wiked.

15

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

 Origen en la lingsDca
Noam Chomsky
Jerarqua de Chomsky (1956)


Backus normal form
(para gramDca de ALGOL)
Lenguajes de Programacin
Lenguajes Naturales
Sistemas de Comandos

Noam Chomsky
(1928 - )

John Backus
(1924 - 2007)

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

Mquinas, Lenguajes y Algoritmos

Lenguajes y GramDcas

16

G. Regulares
G3

G. Indep
Contexto
G2

G. Dependientes
del Contexto G1

Autmatas
Finitos

G. sin restricciones
G0

Autmatas Pila
Autmatas
Linealmente
Acotados

Lenguajes
Regulares
Lenguajes
Indep.
Contexto

Mquinas de Turing
Lenguajes
Dependientes
Contexto

Lenguajes sin
restricciones

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

Mquinas, Lenguajes y Algoritmos

17

Algoritmos

Lenguajes

Mquinas
(AF, AP, MT)

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

Mquinas, Lenguajes y Algoritmos

18

 Referencias bsicas :

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.
2.
3.
4.
5.

P. Isasi, P. Mar<nez, D. Borrajo. Lenguajes, GramDcas y Autmatas: Un enfoque

prcDco. Ed. Addison-Wesley, 1997
Captulo 2. Lenguajes y GramDcas Formales
D. M Kelley. Teora de autmatas y lenguajes formales. PrenDce-Hall, 1995
Captulo 2. Lenguajes Regulares.
R. Penrose. La Nueva Mente del Emperador. DeBolsillo, 2011
Captulo 1. Puede tener mente un computador?
Captulo 2. Algoritmos y mquinas de Turing
R. Penrose. Las sombras de la mente: hacia una comprensin cien<ca de la
consciencia. Mondadori. 1996
D.R. Hofstadter. Gdel, Escher, Bach : un eterno y grcil bucle. Tusquets, 1998

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

BibliograMa

19

Araceli Sanchis de Miguel

Agapito Ledezma Espino
Jos A. Iglesias Mar<nez
Beatriz Garca Jimnez
Juan Manuel Alonso Weber

Grado Ingeniera InformDca

Teora de Autmatas y Lenguajes Formales

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

1. Introduccin a la
Teora de Autmatas
y Lenguajes Formales

20