Facultad de Ingeniería

Teoría de Autómatas y
Lenguajes Formales
Lenguaje Aceptado por AFD
Profesor Guía: Alexander Espina-Leyton - al.espina@uandresbello.edu
Nicolás Hormazábal Santibáñez - nic.hormazabal@uandresbello.edu

Fecha: 02-09-2020 1
Contenido

2
Tabla de contenidos
● Función de secuencias extendidas
○ Inducción
● El lenguaje de un AFD
● Ejercicios

3
Definición

4
Función de Secuencias Extendidas
● Describe lo que ocurre cuando se parte de cualquier
estado y se sigue cualquier secuencia de entradas.
● Si 𝛿 es la función de transición, entonces la función de
transición extendida a partir de 𝛿 será ~𝛿.
● La función toma un estado q y una cadena 𝛚 y
devuelve un estado p. Dicho estado es aquel que llega
cuando se procesa la palabra 𝛚.

5
Función de Secuencias Extendidas
● Definimos ~𝛿 por inducción.
Base: ~𝛿(q,𝜀) = q. Es decir, que nos encontramos en el estado q y
no leemos entrada alguna, entonces permaneceremos en el estado
q.
Paso Inductivo: Supongamos que 𝛚 es una cadena de la forma 𝓍𝒶;
es decir, 𝒶 es el último símbolo de 𝛚 y 𝓍 es la cadena formada por
todos los símbolos excepto el último. Por ejemplo, 𝛚 = 1101, se
divide en 𝓍 = 110 y 𝒶 = 1

6
Función de Secuencias Extendidas
● Definimos ~𝛿 por inducción.
~𝛿(q,𝛚) = 𝛿(~𝛿(q,𝓍),𝒶) (2.1)
Para calcular ~𝛿(q,𝛚), en primer lugar se calcula ~𝛿(q,𝓍), el estado en que
el autómata se encuentra después de procesar todos los símbolos excepto
el último de la cadena 𝛚. Supongamos que este estado es p; es decir, ~𝛿
(q,𝓍) = p. Entonces ~𝛿(q,𝛚) es lo que obtenemos al hacer la transición
desde el estado p con la entrada 𝒶, el último símbolo de 𝛚.
Es decir, ~𝛿(q,𝛚) = 𝛿(p,𝒶).

7
Función de Secuencias Extendidas
Observemos la siguiente imagen

8
Página 42 del libro guía.
Función de Secuencias Extendidas
Supongamos que la entrada al autómata es 110101.
Debemos entonces, calcular la función extendida que no es
más que ~𝜹(q0, 110101) = q0, ya que este último, es el
estado en el cuál queda el autómata al procesar la
palabra.

9
Página 42 del libro guía.
Función de Secuencias Extendidas
Para entender mejor el procedimiento, observemos lo
siguiente:
~𝛿(q0,𝜀) = q0.
~𝛿(q0,1) = 𝛿(~𝛿(q0,𝜀),1) = 𝛿(q0,1) = q1.
~𝛿(q0,11) = 𝛿(~𝛿(q0,1),1) = 𝛿(q1,1) = q0.
~𝛿(q0,110) = 𝛿(~𝛿(q0,11),0) = 𝛿(q0,0) = q2.
~𝛿(q0,1101) = 𝛿(~𝛿(q0,110),1) = 𝛿(q2,1) = q3.
~𝛿(q0,11010) = 𝛿(~𝛿(q0,1101),0) = 𝛿(q3,0) = q1.
~𝛿(q0,110101) = 𝛿(~𝛿(q0,11010),1) = 𝛿(q1,1) = q0. 10
Página 43 del libro guía.
Lenguaje de un AFD
Ahora podemos definir el lenguaje de un AFD
A=(𝒬, ∑, 𝛿, q 0, F)
Este lenguaje se designa por L(A) y se define como:
L(A) = { 𝛚 | ~𝛿(q0,𝛚) ∈ F }
Es decir, el lenguaje de A es el conjunto de cadenas 𝛚
que parten del estado inicial q0 y van hasta uno de los
estados de aceptación. SI L es L(A) para un
determinado AFD A, entonces decimos que:
L es un Lenguaje Regular. 11
Ejercicios

12
 Facultad de Ingeniería
Ejercicios
Escriba con Palabras lo que hace el
autómata:

13
 Facultad de Ingeniería
Solución
Acepta todas las palabras que tienen
una cantidad par de 0’s y una cantidad
par 1’s

14
 Facultad de Ingeniería
Ejercicios
Describa los AFD que aceptan los
siguientes lenguajes con el alfabeto
{a,e,i,o,u}. (El diagrama o tabla)
A. Reconozca la palabra eoe.
B. Reconozca tres letras seguidas
iguales
C. Palabras que partan sólo con la u 15
 16

Facultad de Ingeniería
Solución a (E = ∑)

E
 17

Facultad de Ingeniería
Solución b
 18

Facultad de Ingeniería
Solución c
 Facultad de Ingeniería
Ejercicios
Describa los AFD que aceptan los
siguientes lenguajes con el alfabeto
{1,2,3,4,5,6,7,8,9}.
A. Reconozca al comienzo 456 en una
palabra
B. Reconozca números pares.
C. Reconozca múltiplos de 5. 19
 Facultad de Ingeniería
Ejercicios
La figura muestra un juego de canicas. En A o B se
deja caer una canica. Las palancas x1, x2 y x3 hacen
que la canica caiga hacia la izquierda o hacia la
derecha. Cuando una canica se encuentra con una
palanca, hace que esta cambie de posición
después de haber pasado la canica, por lo que la
siguiente canica caerá por el lado opuesto.
1.1 Modele este juego mediante un autómata finito.
Haga que A y B sean las entradas que representan
la entrada en la que cae la canica. Haga que la
aceptación se corresponda con la canica que sale
por D y la no aceptación con una canica por C.
1.2 Suponga que las palancas cambian de posición
antes de que la canica pase. ¿Cómo cambiará la
respuesta?

20
 Facultad de Ingeniería
Solución
A B
Los estados corresponden a las 8 (23)
000r 100r 011r
combinaciones de las posiciones del
switch, y también debe indicar cuando 000a 100r 011r
la bola anterior pasó por D. Es decir, 001a 101r 000a
cuando la entrada anterior fue 010r 110r 001a
aceptada (2x8 = 16). 010a 110r 001a
0 Es hacia la izquierda, 1 es hacia la 011r 111r 010a
derecha. Cada estado puede
100r 010r 111r
representarse por una secuencia de
0’s y 1’s con las letras “a” de aceptado 100a 010r 111r
y “r” de rechazado. 101r 011r 100a
De las 16 posiciones posibles, 13 101a 011r 100a
pueden ser alcanzadas desde el 110r 000a 101a
estado inicial. 110a 000a 101a
111r 001a 110a 21
 Facultad de Ingeniería
Fuentes
➢ Presentación Curso Carlos Rey Barra
➢ Ideas de introducción de Carlos
Gómez-Pantoja
➢ J. Hopcroft, R. Motwani, J. Ullman. (2001).
Introduction to Automata Theory, Languages,
and Computation. Pearson Education.

22