A.

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

2.Teora de Autmatas
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
Introduccin

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

Tipos de autmatas

Aplicaciones

Lenguajes Formales
2
Introduccin y de6iniciones

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

Se trata de saber qu (y qu no) se puede computar.

Y adems
cmo de rpido,
con cunta memoria y
con qu modelo de computacin.

3
Introduccin y de6iniciones

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

Qu se enDende por computacin?

La Teora de Autmatas se centra en la computacin en s, no

en detalles sobre disposiDvos de entrada y salida.
(As, no se trata de crear modelos matemDcos para un video
juego, por ejemplo).

4
Autmata

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

Denicin RAE
autmata.
(Del lat. automta, t. f. de -tus, y este del gr. , espontneo).
1. m. Instrumento o aparato que encierra dentro de s el
mecanismo que le imprime determinados movimientos.
2. m. Mquina que imita la gura y los movimientos de un ser
animado.
3. m. coloq. Persona estpida o excesivamente dbil, que se
deja dirigir por otra.

5
Modelo Matemtico

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

Autmata:
Modelo MatemDco de computacin.
DisposiDvo abstracto con capacidad de computacin.

Teora de Autmatas:
Abstraccin de cualquier Dpo de computador y/o
lenguaje de programacin.
Desglose en sus elementos bsicos (Entrada, Estado,
Transicin, Salidas y elementos auxiliares)

6
Introduccin

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

Tipos de autmatas

Aplicaciones

Lenguajes Formales
7
Tipos de autmatas

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

Autmatas Finitos (y mquinas secuenciales)

Autmatas ProbabilsDcos

Autmatas a Pila

Clulas de Mc Culloch-Piks

Mquinas de Turing

Autmatas Celulares

Redes de Neuronas ArDciales

8
Tipos de autmatas

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

Autmatas Finitos (y m quinas
Turing secuenciales)
estudi una mquina abstracta
con la misma capacidad que los
Autmatas ProbabilsDcos
computadores actuales desde el punto
de vista de lo que son capaces de hacer.
Autmatas a Pila

Clulas de Mc Culloch-Piks

Mquinas de Turing

Autmatas Celulares

Redes de Neuronas ArDciales

9
Tipos de autmatas

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

Autmatas Finitos (y mquinas secuenciales)

Autmatas ProbabilsDcos

Autmatas a Pila

Clulas de Mc Culloch-Piks

Mquinas de Turing
Mayor
Autmatas Celulares capacidad de
cmputo.
Redes de Neuronas ArDciales

10
Autmatas y Algoritmos

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

La mquina de Turing es un modelo matemDco abstracto
que formaliza el concepto de algoritmo

Todo Autmata puede ser transformado en un algoritmo y a
la inversa.

Pulsar
Autmata Finito:
Off On

Pulsar
11
Autmatas Discretos,
continuos e hbridos

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

Criterio: Entradas
Suelen ser DISCRETOS:
Autmatas Finitos (y mquinas secuenciales)

Autmatas a Pila

Mquinas de Turing

Son DISCRETOS, CONTNUOS Y/O HBRIDOS:

Autmatas Celulares
12
Redes de Neuronas ArDciales
Introduccin

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

Tipos de autmatas

Aplicaciones

Lenguajes Formales
13
Aplicaciones de los autmatas

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

El Juego de la Vida
Ejemplo de un juego implementado usando un autmata celular.
Diseado por el matemDco britnico John Conway en 1970.

El todo es ms que la suma de las partes.

Las transiciones dependen del nmero de clulas vecinas vivas:

Una clula muerta con exactamente 3 clulas vecinas vivas "nace" (al
turno siguiente estar viva).
Una clula viva con 2 3 clulas vecinas vivas sigue viva, en otro caso
muere o permanece muerta (por "soledad" o "superpoblacin").

hkp://www.youtube.com/watch?v=XcuBvj0pw-E
14
Aplicaciones de los autmatas
Comportamiento de robots en la RoboSoccer

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

15
Autmatas Finitos aplicados en la RoboSoccer
(Peter van de Ven)
Introduccin

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

Tipos de autmatas

Aplicaciones

Lenguajes Formales
16
Lenguajes Formales. De6iniciones

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

Smbolo: EnDdad abstracta, realmente no se dene (anlogo al
punto en geometra). Son letras, dgitos, caracteres, etc. Forman
parte de un alfabeto. Tambin posible encontrar smbolos
formados por varios caracteres, pej: IF, THEN, ELSE, ...

Alfabeto (): Conjunto nito no vaco de letras o smbolos.

Sea a una letra y un alfabeto, si a pertenece a ese alfabeto

a

Ejemplos:
1= {A, B, C, ...,Z} alfabeto de las letras maysculas
2= {0, 1} alfabeto binario
3= {IF, THEN, ELSE, BEGIN, END} alfabeto de smbolos para
programacin. 17
Lenguajes Formales. De6iniciones

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

Palabra: toda secuencia nita de smbolos del alfabeto.
1= {A, B, C, ...,Z}; palabras sobre 1 JUAN, ISABEL, etc.
2= {0, 1}; palabras sobre 2 00011101
3= {IF, THEN, ELSE, BEGIN, END};
palabras sobre 3 IFTHENELSEEND

Notacin: se representan por letras minsculas del nal del

alfabeto (x, y, z)
18
Ejem: x= JUAN; y= IFTHENELSEEND; z=00001111111111
 Lenguajes Formales. De6iniciones

Longitud de palabra: nmero de smbolos que componen una palabra.

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

Se representa por x
Ejemplos:
1= {A, B, C, ...,Z}; x = JUAN = 4
y = IFTHENELSEEND =13
3= {IF, THEN, ELSE, BEGIN, END};
y = IFTHENELSEEND = 4 OJO!!!!

Palabra vaca : Es aquella palabra cuya longitud es cero
Se representa por , = 0
Sobre cualquier alfabeto es posible construir
UDlidad: ser el elemento neutro en muchas operaciones
19
(concatenacin, etc.) con palabras y lenguajes

Lenguajes Formales. De6iniciones
Universo del discurso, W(): conjunto de todas las palabras que se

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

pueden formar con los smbolos de un alfabeto
Tambin se denomina Lenguaje Universal del alfabeto
Se representa como W()
Es un conjunto innito (i.e. nmero innito de palabras)

Ejemplo: sea 4 = {A,B}, W(4) = {, A,B, AA,AB,BA,BB, AAA, ...} con
un nmero de palabras

COROLARIO:
, W() La palabra vaca pertenece a todos los lenguajes
universales de todos los alfabetos posibles
20
Lenguajes Formales. Operaciones
Algunas operaciones importantes con palabras , sobre palabras de un

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

universo del discurso dado:

Concatenacin de palabras:
sean dos palabras x, y tal que x W(), y W(), y sea
x = i = l x1x2...xi e y = j = y1y2...yj ,
se llama concatenacin de x con y, a:

x y = x1x2...xi y1y2...yi = z, donde z W()

Propiedades de la concatenacin: Deniciones:
Operacin cerrada cabeza
Propiedad AsociaDva cola
Con elemento neutro longitud de palabra 21
No conmutaDva

Lenguajes Formales. Operaciones

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

Potencia de una palabra: Reduccin de la concatenacin a los casos
que se reeren a una misma palabra
potencia i-sima de una palabra es el resultado de concatenar
esa palabra consigo misma i veces
La concatenacin es asociaDva no especicar el orden
xi = x x x x (x i veces)
xi = i x (i>0)
se cumple:
x1 = x
x 1 + i = x xi = xi x (i>0)
x j + i = xj xi = xi xj (i, j>0)
Si se dene x0 = 22
Lenguajes Formales. De6iniciones

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

Lenguaje (L): Se denomina lenguaje sobre el alfabeto :
a todo subconjunto del lenguaje universal de , L W()
a todo conjunto de palabras sobre un determinado
(generado a parDr del alfabeto )

23
Lenguajes Formales
Lenguajes Especiales:

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

1. = Lenguaje vaco, W()
2. {} = Lenguaje de la palabra vaca
se diferencian en el nmero de palabras (cardinalidad) que
los forman C() = 0 mientras que C({})=1
se parecen en que y {} son lenguajes sobre cualquier
alfabeto

3. Un alfabeto es uno de los lenguajes generados por

el mismo:
W(), por ejemplo el chino 24

Lenguajes Formales

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

Unin de Lenguajes : Sobre un alfabeto dado

Sean L1 y L2 denidos sobre el mismo alfabeto , L1, L2 W();

se llama unin de dos lenguajes, L1, L2 y se representa por L1 L2 al
lenguaje as denido:

L1 L2 = { x / x L1 x L2 } =

Es el conjunto formado indisDntamente por palabras de uno

u otro de los dos lenguajes (equivale a la suma)

L1 + L2 = L1 L2 25
 A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

2.Teora de Autmatas
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