3/9/21

A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

2.Teoría de Autómatas

Grado Ingeniería Informática y doble Grado

con ADE
Teoría de Autómatas y Lenguajes Formales

Introducción
A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

Tipos de autómatas

Aplicaciones

Lenguajes Formales
2

1
 3/9/21

Introducción y definiciones

A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

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

Y además…
cómo de rápido,
con cuánta memoria y
con qué modelo de computación.

Introducción y definiciones
A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

• Qué se entiende por computación?

• La Teoría de Autómatas se centra en la computación en sí, no

en detalles sobre dispositivos de entrada y salida.

2
 3/9/21

Autómata

A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

Definición RAE
autómata.
(Del lat. automăta, t. f. de -tus, y este del gr. αὐτόματος, espontáneo).
1. m. Instrumento o aparato que encierra dentro de sí el
mecanismo que le imprime determinados movimientos.
2. m. Máquina que imita la figura y los movimientos de un ser
animado.
3. m. coloq. Persona estúpida o excesivamente débil, que se
deja dirigir por otra.

Modelo Matemático
A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

Autómata:
Modelo Matemático de computación.
Dispositivo abstracto con capacidad de computación.

Teoría de Autómatas:
Abstracción de cualquier tipo de computador y/o
lenguaje de programación.
Desglose en sus elementos básicos (Entrada, Estado,
Transición, Salidas y elementos auxiliares)

3
 3/9/21

Introducción

A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

Tipos de autómatas

Aplicaciones

Lenguajes Formales
7

Tipos de autómatas
A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

Autómatas Finitos (y máquinas secuenciales)

Autómatas Probabilísticos

Autómatas a Pila

Células de Mc Culloch-Pitts

Máquinas de Turing

Autómatas Celulares

Redes de Neuronas Artificiales

8

4
 3/9/21

Tipos de autómatas

A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

Autómatas Finitos (y máquinas secuenciales)
Turing estudió una máquina abstracta
con la misma capacidad que los
Autómatas Probabilísticos
computadores actuales desde el punto
de vista de lo que son capaces de hacer.
Autómatas a Pila

Células de Mc Culloch-Pitts

Máquinas de Turing

Autómatas Celulares

Redes de Neuronas Artificiales

9

Tipos de autómatas
A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

Autómatas Finitos (y máquinas secuenciales)

Autómatas Probabilísticos

Autómatas a Pila

Células de Mc Culloch-Pitts

Máquinas de Turing
Mayor
Autómatas Celulares capacidad de
cómputo.
Redes de Neuronas Artificiales
10

10

5
 3/9/21

Autómatas y Algoritmos

A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

• La máquina de Turing es un modelo matemático abstracto que
formaliza el concepto de algoritmo

• Todo Autómata puede ser transformado en un algoritmo y a la

inversa.

Pulsar
Autómata Finito:
Off On

Pulsar
11

11

Autómatas Discretos,
continuos e híbridos
A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

Criterio: Entradas
• Suelen ser DISCRETOS:
Autómatas Finitos (y máquinas secuenciales)

Autómatas a Pila

Máquinas de Turing

• Son DISCRETOS, CONTÍNUOS Y/O HÍBRIDOS:

Autómatas Celulares
12
Redes de Neuronas Artificiales

12

6
 3/9/21

Introducción

A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

Tipos de autómatas

Aplicaciones

Lenguajes Formales
13

13

Aplicaciones de los autómatas

A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

El Juego de la Vida
• Ejemplo de un juego implementado usando un autómata celular.
Diseñado por el matemático británico John Conway en 1970.

• El todo es más que la suma de las partes.

• Las transiciones dependen del número de células vecinas vivas:

• Una célula muerta con exactamente 3 células vecinas vivas "nace" (al
turno siguiente estará viva).
• Una célula viva con 2 ó 3 células vecinas vivas sigue viva, en otro caso
muere o permanece muerta (por "soledad" o "superpoblación").

http://www.youtube.com/watch?v=XcuBvj0pw-E
14

14

7
 3/9/21

Aplicaciones de los autómatas

Comportamiento de robots en la RoboSoccer

A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

15
Autómatas Finitos aplicados en la RoboSoccer
(Peter van de Ven)

15

Introducción
A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

Tipos de autómatas

Aplicaciones

Lenguajes Formales
16

16

8
 3/9/21

Lenguajes Formales

A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

17

Lenguajes Formales. Definiciones

A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

Símbolo: Entidad abstracta, realmente no se define (análogo al

punto en geometría). Son letras, dígitos, caracteres, etc. Forman
parte de un alfabeto. También posible encontrar símbolos
formados por varios caracteres, pej: IF, THEN, ELSE, ...

Alfabeto (S): Conjunto finito no vacío de letras o símbolos.

Sea “a” una letra y S un alfabeto, si a pertenece a ese alfabeto Þ
aÎS
Ejemplos:
• S1= {A, B, C, ...,Z} alfabeto de las letras mayúsculas
• S2= {0, 1} alfabeto binario
• S3= {IF, THEN, ELSE, BEGIN, END} alfabeto de símbolos para
programación. 18

18

9
 3/9/21

Lenguajes Formales. Definiciones

A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

Palabra: toda secuencia finita de símbolos del alfabeto.

S1= {A, B, C, ...,Z}; palabras sobre S1 JUAN, ISABEL, etc.

S2= {0, 1}; palabras sobre S2 00011101
S3= {IF, THEN, ELSE, BEGIN, END};
palabras sobre S3 IFTHENELSEEND
Notación: se representan por letras minúsculas del final del
alfabeto (x, y, z)
19
Ejem: x= JUAN; y= IFTHENELSEEND; z=00001111111111

19

Lenguajes Formales. Definiciones

Longitud de palabra: número de símbolos que componen una palabra.
A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

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

Palabra vacía l: Es aquella palabra cuya longitud es cero

Se representa por l, ÷ l ÷ = 0
Sobre cualquier alfabeto es posible construir l
Utilidad: será el elemento neutro en muchas operaciones 20
(concatenación, etc.) con palabras y lenguajes

20

10
 3/9/21

Lenguajes Formales. Definiciones

Universo del discurso, W(S): conjunto de todas las palabras que se

A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

pueden formar con los símbolos de un alfabeto S
También se denomina Lenguaje Universal del alfabeto S
Se representa como W(S)
Es un conjunto infinito (i.e. número infinito de palabras)

Ejemplo: sea S4 = {A,B}, W(S4) = {l, A,B, AA,AB,BA,BB, AAA, ...} con
un número µ de palabras

COROLARIO:
" S, l Î W(S) Þ La palabra vacía pertenece a todos los lenguajes universales
de todos los alfabetos posibles
21

21

Lenguajes Formales. Operaciones

Algunas operaciones importantes con palabras , sobre palabras de un
A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

universo del discurso dado:

Concatenación de palabras:
sean dos palabras x, y tal que x Î W(S), y Î W(S), y sea
÷ x÷ = i = l x1x2...xi÷ e ÷y÷ = j = ÷ y1y2...yj ÷,
se llama concatenación de x con y, a:
x · y = x1x2...xi y1y2...yi = z, donde z Î W(S)

Propiedades de la concatenación: Definiciones:

• Operación cerrada • cabeza
• Propiedad Asociativa • cola
• Con elemento neutro • longitud de palabra 22
• No conmutativa

22

11
 3/9/21

Lenguajes Formales. Operaciones

Potencia de una palabra: Reducción de la concatenación a los casos

A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

que se refieren a una misma palabra
• potencia i-ésima de una palabra es el resultado de concatenar
esa palabra consigo misma i veces
• La concatenación es asociativa Þ no especificar 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 define x0 = l 23

23

Lenguajes Formales. Definiciones

A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

Lenguaje (L): Se denomina lenguaje sobre el alfabeto S:

• a todo subconjunto del lenguaje universal de S, L Ì W(S)
• a todo conjunto de palabras sobre un determinado S
(generado a partir del alfabeto S )

24

24

12
 3/9/21

Lenguajes Formales
Lenguajes Especiales:

A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

1. f = Lenguaje vacío, f Ì W(S)
2. {l} = Lenguaje de la palabra vacía
• se diferencian en el número de palabras (cardinalidad) que
los forman C(f) = 0 mientras que C({l})=1
• se parecen en que f y {l} son lenguajes sobre cualquier
alfabeto
3. Un alfabeto es uno de los lenguajes generados por
el mismo:
S ÌW(S), por ejemplo el chino 25

25

Lenguajes Formales
A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

Concatenación de Lenguajes : Sobre un alfabeto dado S

Sean L1 y L2 definidos sobre el mismo alfabeto S, L1, L2 Ì W(S);

se llama concatenación de dos lenguajes, L1, L2 y se representa por
L1. L2 al lenguaje así definido:

L1 . L2 = { x.y / x Î L1 AND y Î L2 }

Es el conjunto formado por palabras formadas por parte del del primero seguidas de

parte del segundo.

Operación cerrada Asociativa Elemento Neutro {λ} NO comuntativa

26

26

13
 3/9/21

Lenguajes Formales

A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

Unión de Lenguajes : Sobre un alfabeto dado S

Sean L1 y L2 definidos sobre el mismo alfabeto S, L1, L2 Ì W(S);

se llama unión de dos lenguajes, L1, L2 y se representa por L1È L2 al
lenguaje así definido:

L1 È L2 = { x / x Î L1 ó x Î L2 } =

Es el conjunto formado indistintamente por palabras de uno u otro

de los dos lenguajes (equivale a la suma). L1 + L2 = L1 È L2

Op. Cerrada, Asociativa, Conmutativa y Elemento neutro f 27

27

Ejercicios propuestos
Ejercicios de CONCATENACIÓN y UNION
A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

1. Sea el alfabeto S= {¡} y la palabra x = ¡. Escribe las siguientes palabras, indicando sus longitudes:
• x.x
• xxx (el punto de la concatenación está implícito)
• x4
• x0
• Define el universo del discurso, W(S)
2. Sea S= {0,1,2}, x= 00, y=1, z= 210. Escribe las siguientes palabras, indicando sus longitudes, cabezas y colas:
• xy
• xz
• xyz
• x2y2
• (xy)2
3. Sea el alfabeto Sa= {a} y Sb= {b}, definir los siguientes lenguajes y universos del discurso:
• W(Sa)
• W(Sa. Sb)
• (Sa U Sb)
• W(Sa U Sb)
• W(Sa U Sb). Sa . Sb

4. La DGT desea construir un sistema que sea capaz de determinar si una secuencia de símbolos forma parte de una 28
matrícula española válida. Se pide, usando las operaciones de concatenación y unión, diseñar el lenguaje que serviría de
base para dicho sistema.

28

14
 3/9/21

A. Sanchis, A. Ledezma, J.A. Iglesias, B. García, J. M.Alonso

2.Teoría de Autómatas
Araceli Sanchis de Miguel
Agapito Ledezma Espino Grado Ingeniería Informática
José A. Iglesias Martínez Teoría de Autómatas y Lenguajes Formales
Beatriz García Jiménez
Juan Manuel Alonso Weber

29

15