AUTOMATAS Y LENGUAJES FORMALES

PRESENTADO POR:
EDUAR RICARDO VELA PINILLA

PRESENTAR A:
EDGAR ANTONIO CORTES

UNIVERSIDAD NACIONAL A DISTANCIA Y ABIERTA UNAD

Ejercicio 1: Realizar la conversión de AFD a AFND o de AFND a AFD según
corresponda.
EJERCICIO
A
TRABAJAR

Caracterizaci En este espacio se realiza:

ón del - Identificación de la quíntupla del autómata
autómata M = ({q0, q1, q2,q3,q4,q5}, {a, b, λ }, δ, q0, {Estado final})
K = {q0, q1, q2, q3, q4, q5}
Σ = {a, b, }
s = q0
F = Estado final
δ (q0, a) = q1
δ (q0, b) = q2
δ (q1, a) = q2
δ (q1, b) = q4
δ (q2, a) = q2
δ (q2, b) = q3
δ (q3, a) = q2
δ (q3, b) = q3
δ (q3, λ) = q4
δ (q4, a) = q1
δ (q4, b) = q3
δ (q5, b) = q4
δ (q5, λ) = q3

Identificación del Autómata Finito:

Es un estado no determinista, ya que, con un estado, podemos ir a 2 o más
estados, por ende, decimos que es un estado no determinista.

Procedimient
o de
conversión de Paso 1
AFND a AFD. Iniciamos nuestro estado Inicial, en nuestro caso la vamos a representar con
el conjunto, A= 0, en nuestro caso el estado inicial es q0, evidenciamos como
 no encontramos transiciones vacías, solamente realizamos la lectura en A y
B, en este caso nos lleva al estado q1 con transición A y con transición B nos
lleva al estado q2.
A B
A= {0}u{-} B={1}u{-} C={2}u{-}

Paso 2
Después Pasamos al estado q1 en el cual vamos a evaluar las transacciones,
en este caso, evaluamos el subconjunto B, que es el nuevo subconjunto a
evaluar. Evidenciamos que no encontramos ninguna transición vacía.
A B
B={1}u{-} C= {2}u{-} D={4}u{-}

Paso 3
Procedemos a evaluar el siguiente subconjunto C, que en pocos términos es
el estado q2, evaluaremos sus transiciones y si este estado cuenta con
transiciones vacías. Y evidenciamos que encontramos un nuevo estado, en
este caso el estado q3. Con una transición vacía.

A B
C= {2}u{-} C={2}u{2} E={3}u{4}
.
Paso 4
Pasamos al siguiente subconjunto a evaluar, en este caso es E, estado q3 para
evaluar, evidenciamos que hay una transición vacía que lo afecta
directamente la cual es el estado q4.
A B
E={3}u{4} F={1,2,5}u{3} G={1,3}u{4}
Paso 5
Procedemos a evaluar el subconjunto D, en este caso este subconjunto va a
tomar las transiciones del estado q4. Evidenciamos que toma los estados q1,
y el estado q3 con los diferentes parámetros de A y B.
A B
D={4}u{} B={1}u{-} E={3}u{4}

Paso 6
Procedemos a leer el subconjunto G. este subconjunto debemos establecer
los 2 estados, el estado q1 y el estado q3, el estado q1 con A nos lleva a q2,y
q3 con A también nos lleva a los estados q1, y q5.
A B
G={1,3}u{4} F={1,2,5}u{3} H= {1,3,4}u{4}

Paso 7
Procedemos a leer el subconjunto de F, en este conjunto nos toca realizar las
lecturas de las transiciones de los estados q1,q2,q5, con transacción vacia en
 q3.
A B
F={1,2,5}u{3} I={2,5}u{3} H={1,3,4}u{4}
Paso 8
Procedemos a leer el subconjunto de I, en este conjunto nos toca realizar las
lecturas de las transiciones de los estados q2 y q5 con transición vacia en el
estado q3
A B
I={2,5}u{3} F={1,2,5}u{3} H={1,3,4}u{4} Paso 9

Por ultimo leemos el subconjunto de H, ya que es el último subconjunto que

tenemos pendiente por evaluar, como evidenciamos anteriormente, cada
subconjunto fue evaluado, y en el transcurso de la evaluación de las
transiciones se repitieron, esto quiere decir que ya no lo tenemos que evaluar,
solo nos quedaría pendiente el subconjunto de H, ya que es el que tenemos
pendiente por evaluar.
A B
H={1,3,4}u{4} F={1,2,5}u{3} H={1,3,4}u{4}

Paso 10
Evidenciamos como ultimo la tabla solamente con las respectivas letras de
cada conjunto.
A B
A B C
B C D
C C E
E F G
D B E
G F H
F I H
I F H
H F H

<Gráfica de
autómata
final
convertido
Ejercicio 2: Realice la minimización paso a paso del autómata finito determinista
EJERCICIO A
TRABAJAR

Caracterizació En este espacio se realiza:

n del autómata - Identificación de la quíntupla del autómata
M = ({A,B,C,D,E,G,H,F,I}, {a,b}, δ, A, {})
K = {A,B,C,D,E,G,H,F,I}
Σ = {a, b,}
S=A
F = {}
δ (A, a) = B
δ (A, b) = C
δ (B, a) = C
δ (B, b) = D
δ (C, c) = C
δ (C, b) = E
δ (D, a) = B
δ (D, b) = E
δ (E, a) = F
δ (E, b) = G
δ (G, a) = F
δ (G, b) = H
δ (F, a) = I
δ (F, b) = H
δ (I, a) = F
δ (I, b) = H
δ (H, a) = F
δ (H, b) = H
 Paso 1
Identificamos el primer paso, la cual es evaluar el conjunto de los grupos
equivalentes, en este caso no tenemos ningún estado aceptador ya que no contamos
con estado final, entonces solamente vamos a trabajar con estados solamente no
aceptadores.

O = {} Aceptadores
P = {A,B,C,D,E,G,F,I,H} No Aceptadores
Paso 2
Evaluamos cada transición, esto con el fin de evaluar en que grupo se encuentra cada
estado, esto con el fin de determinar si son aceptadores o no aceptadores.
Evidenciamos que todos los estados pertenecen al grupo de no aceptadores ya que no
contamos con un estado final o grupo de aceptadores.

a b
A P P
B P P
C P P
D P P
E P P
G P P
F P P
I P P
H P P

Paso 3
Definimos un nuevo conjunto, esto con el fin de validar cada estado, para identificar
cuáles son equivalentes o no equivalentes. En este caso el nuevo conjunto para
validar Lo nombraremos como N, como obtuvimos los mismos valores en cada
estado, solo validaremos un único conjunto N, que abarcara nuevamente todos los
estados con los mismos valores ya que no varían porque no tenemos estado final y
podemos decir que todos los estados no son equivalentes ya que se repiten el mismo
valor para cada estado.

N a b
A P P
B P P
C P P
D P P
E P P
G P P
F P P
I P P
H P P
 Paso 4
Generamos la tabla de transición, la cual solo vamos a validar en nuestro caso solo
tenemos el conjunto N, esto se debe a que todos los estados obtuvieron los mismos
valores, es decir no equivalentes.
a b
N N N

Resultado del
Autómata Evidenciamos el autómata minimizado, lo representamos con el conjunto N, ya que el
minimizado conjunto N fue donde tomamos los valores de los estados, en este caso no
equivalentes, ya que todos fueron no equivalentes, se realizaría un bucle evaluando
todos los estados en el conjunto N.

Expresión regular Del autómata.

(a+b)*
Ejercicio 3: Realizar el autómata a Pila que lea la expresión regular del autómata
minimizado.

Autómata de
Pila

Caracterización Séptupla
del autómata de AP = (∑,r,Q,A0,q0,f,F) Donde representaremos cada séptupla
pila
∑: es el alfabeto de entrada ∑ ={a,b}
R: Es el alfabeto de la pila R = {λ , a , b}
Q: es un conjunto finito de Q = {q0}
estados
A0 ϵ r : es un símbolo inicial de A0 = λ
la pila
Q0 ϵ Q : el estado inicial de Q0 ϵ Q=q 0
autómata
F ⊆ Q :Es el conjunto de F ⊆ Q={q 0 }
estados finales
F: es una aplicación F: σ =( q 0 , a , λ),(q0,a)
denominada función de σ =( q 0 , b , λ),(q0,b)
transición de ternas

L = b = Símbolo de la cadena de entrada

D = λ=Simbolo que desapila
A simboloque apila
Recorrido del Cinta de entrada: aaabbb
autómata PASO 1
Comenzamos a recorrer nuestro único estado, en este caso leemos el
primer valor de la cinta de entrada que en nuestro caso es a y
obtenemos un valor de pila del cual seria, a
a a a b b b

a
Z0

Paso 2
De igual forma volvimos a validar la cinta de entrada a, en nuestro
único estado, en este caso volveríamos a obtener un valor en la pila
que sería a

a a a b a a

a
a
Z0

PASO 3
Seguimos con la siguiente cinta de entrada la cual es a, no
desapilamos nada, y agregamos nuevamente una pila la cual sería
nuevamente a, esto se debe a que leemos nuevamente un valor de
cinta de entrada en a, y evidenciamos que el valor de la pila es a. Por
ende, agregamos nuevamente una pila la cual su valor es a.
a a a b a a

a
a
a
Z0

PASO 4
En el recorrido de la cinta de nuestro único estado obtenemos un
nuevo valor de cinta de entrada la cual es b, es decir tenemos que
agregar nuevamente un valor de la pila en nuestro caso sería b.

a a a b b b

b
a
a
a
Z0

PASO 5
En este caso como tenemos un único estado, volvemos a realizar la
lectura de la cintra de entrada en b, nuevamente tomamos un valor
de la pila la cual sería b.

a a a b b b
 b
b
a
a
a
Z0

PASO 6
Como última cinta de entrada que vamos a evaluar tenemos
nuevamente una cinta de entrada con valor de b, lo cual nos
representa un resultado en la pila con el valor de b, es decir
tendríamos que apilar nuevamente un valor en b, y así terminamos
de evaluar toda la memoria auxiliar de la pila

a a a b b b

b
b
b
a
a
a
Z0

Realización de
pruebas PRUEBA DE LA CADENA DE NUESTRO AUTOMATA DE
PILA EN JFLAP
Ejercicio 4: Realizar una máquina de turing que lea la expresión regular
del autómata minimizado
Máquina de
Turing

Caracterización La máquina de Turing con una sola cinta puede definirse como una
de la máquina de 7-tupla
Turing
MT ={ K . ∑ , ⎾ , s , b , F , σ }

K={q0 , q1 } es el conjunto de estados, tal que h ∊ K

∑={a ,b } es el alfabeto de entrada, donde µ∉∑
⎾={a ,b } es el alfabeto de la cinta, donde µ∊⎾ y ∑⊆ ⎾
s=q 0 ∊ K es el estado inicial
F=q 1 ⊆ K es el estado final

Transiciones Funciones de transiciones

Alfabeto de entrada σ =( q 0 ,a )=(q 0 , b , R)
∑={a,b} σ =( q 0 ,b )=(q 0 , a , R)
Alfabeto de entrada σ =( q 0 , μ ) =(q1 , μ , R)
R = {a,b}
Procedimiento Cadena A validar: aaaba
de paso a paso PASO 1
del recorrido de Como primer procedimiento comenzamos la lectura de la máquina
una cadena de Turing en el primer estado en nuestro caso q0, lee un valor de
entrada en a, y toma como valor en la cinta que sería en este caso b.
Y avanzamos para el lado derecho.

Lee valor de la cadena

a a a b a

Q0
QEscribe el valor de la cinta

PASO 2
Nuevamente estamos en el estado q0, ya que volvemos a leer un
carácter en a, nuevamente tenemos el valor de cinta con valor en b,
y realizamos el respectivo procedimiento en desplazamiento hacia la
derecha, siguiendo estando en el estado q0.

Lee valor de la cadena

a a a b a
Q0

Escribe Qel valor de la cinta

 b b

PASO 3
Nuevamente nuestro estado q0 vuelve a leer un valor en a, y como
resultado nuevamente obtenemos un valor de la cinta en b, con
desplazamiento hacia la derecha

Lee valor de la cadena

a a a b a

Q0

Escribe el valorQde la cinta

b b b

PASO 4
Como siguiente procedimiento terminamos el ciclo al momento de
realizar las lecturas en lectura en a, por ello tomamos el siguiente
carácter a leer el cual pertenece a b, con valor en la cinta de a y
pasamos al siguiente estado la cual pertenece a q1.

Lee valor de la cadena

a a a b a
Q0
Q
 Escribe el valor de la cinta

b b b a

PASO 5
Ingresamos en el estado q1, observamos que nuevamente tenemos
que leer la cadena en a, con esta misma cadena en a, podemos estar
en el estado q1 y también devolvernos al estado q0, en nuestro caso
tomamos la lectura de la cadena a y volvemos al estado inicial q0,
ya que realizamos el movimiento hacia la izquierda.

Lee valor de la cadena

a a a b a

Q1

Escribe el valor de la cinta

b b b a a

PASO 6

Estando en el estado q1, nos devolvemos nuevamente al estado q0,

leyendo la cadena en a, y tomando un valor de la cinta nuevamente
en b, realizando un movimiento hacia la izquierda para volver a
nuestro estado inicial.
 Lee valor de la cadena
a a a b a

Q0

Escribe el valor de la cinta

b b b a b

PASO 7
Después de estar otra vez en el estado q0, volvemos a leer la cadena
del carácter b, la cual nos vuelve a dar un valor de la cinta en a, y
volvemos a realizar el movimiento hacia la derecha estando
nuevamente en el estado q1.

Lee valor de la cadena

a a a b a
Q1

Escribe el valor de la cinta

b b b a a

Paso 8
Por ultimo leemos el ultimo carácter de la cadena la cual es a,
observamos que como tiene movimiento hacia la derecha, toma el
valor vacío después de leer la cadena a, y finalmente así llegamos a
nuestro estado final que en nuestro caso es q2.
 Lee valor de la cadena
a a a b a
Q2

Escribe el valor de la cinta

b b b a a
Practicar y CADENA DE PRUEBA: aaaba
verificar lo
aprendido

REFERENCIAS BIBLIOGRAFICAS
https://www.youtube.com/watch?v=o9eUECLgQno&t=558s
https://www.youtube.com/watch?v=WobVsyxatVY
https://www.youtube.com/watch?v=dM1J_ykop44&t=450s
https://www.youtube.com/watch?v=eOynYG8Ibk0&t=2770s
https://www.youtube.com/watch?v=29Qp_AWXFt4&t=215s