UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

AUTOMATAS Y LENGUAJES FORMALES

FASE 5

APORTE COLABORATIVO

POR

TUTOR

MEDELLIN

2020
Contenido
Ejercicio 1.....................................................................................................................................3
Autómata 1..............................................................................................................................3
Autómata 2..............................................................................................................................4
Autómata 5..............................................................................................................................5
Ejercicio 2.....................................................................................................................................7
Ejercicio 3.....................................................................................................................................9
Ejercicio 4...................................................................................................................................10
Ejercicio 5...................................................................................................................................11
b. Identifique una cadena que no sea válida y justifique el porque.......................................17
c. Ejecute el RunTest a una cadena aceptada que tenga al menos cinco símbolos................17
d. Identifique en que momento la maquina se detiene.........................................................18
Referencias Bibliográficas..........................................................................................................20
Ejercicio 1
Autómata 1
Autómata 2
Autómata 5
Por Cristian David García Restrepo

EJERCICIO A
TRABAJAR

Caracterizació Autómata Finito No Determinista: Se define así

n del autómata ya que desde el estado “q0”, con la transición “a”
puede ir a dos estados diferentes, en este caso “q 1”
y “q2”.
Procedimiento Paso 1
de conversión
de Autómata Se elimina el estado “q1” de manera que se debe
Finito a colocar dos transiciones, la primera es una estrella
Expresión de kleene (aa*b) sobre el estado ”q2” y la segunda
Regular paso a es desde el estado “q0” a “q2” (a+aa*b).
paso

Paso 2.

Se elimina el estado inicial “q0” de manera que se

coloca una transición sobre el estado final “q3”,
reemplazando las dos que estan involucrada
(a+aa*b) y estrella de kleene (b), en el estado “q0”
y la existente estrella de kleene (aa*b).

Autómata Final En este espacio se presenta la expresión

convertido correspondiente al autómata trabajado.
 Lenguaje ER = b*(a+aa*b)(aa*b)*
regular
Teniendo en cuenta el siguiente autómata realizar los puntos siguientes:

Ejercicio 2
EJERCICIO A
TRABAJAR

Caracterizació Autómata Finito No Determinista:

n del autómata Las transiciones del AFND permiten que el
estado pueda dirigirse a dos estados diferentes
como se puede ver en “q3” con la transición b
Procedimiento Conversión de AFND a AFD.
de conversión
paso a paso Paso 1.
Se procede a llenar la tabla de transiciones.
Estado a b λ
s
q0 q1 q0,q3 -
q1 q1 q2 -
q2 q1 q3 -
q3 q4 q2 -
q4 q0 q1 q4
Paso 2.

Se incluyen los nuevos estados y transiciones

Estados a b λ
q0,q3 q1 0q,q2,q3 -
q1 q1 q2 -
q2 q1 q3 -
q3 q4 q2 -
q4 q0 q1 q4

Paso 3

Se procede a graficar las nuevas estaciones con

sus respectivas transiciones
Ejercicio 3
Realice la minimización paso a paso del autómata finito determinista

Las funciones de transición que hay dentro del autómata

δ ( q 0 , a )=q1;δ ( q 0 , b )=q 0 ; δ ( q 0 , b )=q 3

δ ( q 1, a )=q;δ ( q 1, b )=q 2
δ ( q 2 ,a )=q 1;δ ( q 2 ,b )=q 3
δ ( q 3 , a )=q 4;δ ( q 3 ,b )=q 2
δ ( q 4 ,a )=q 0;δ ( q 4 ,b )=q 1;δ ( q 4 , λ )=q 4

Se agrupan en dos grupos:

NO ACEPTADORES
Y {q0, q1, q3}

ACEPTORES
X {q2, q4}

Se realiza la tabla de transición con los grupos buscando estados equivalentes:

X A B
q0 Y Y
q1 Y X
q2 Y Y
q3 X X
q4 Y Y

Paso 3: Se forman los nuevos grupos:

N = {q0, q2, q4}

M = {q1}
O = {q3}

N A B
q0 Y Y
 q2 Y Y
q4 Y Y

M A B
q1 Y X

O A B
q3 X X

Nueva tabla con sus conjuntos:

0 1
N (q0) Y Y
M (q1) Y X
O (q3) X X
Ejercicio 4
Ejercicio 5
a. Recorra la maquina con al menos una cadena valida explicando lo sucedido tanto en la cinta
como en la secuencia de entrada.

Autómata de Automata autoría Propia

autoría propia

Caracterizació Una MT se define como un Quintuplo

n MT =(Q ,∑ , Γ , δ ,q 0 , q F ) en donde:
del autómata a
pila Q= es un conjunto de estados {q 0 ,q 1 , q 2}, de
tal forma que h ∈ Q.
∑ = es el alfabeto de entrada {0, 1} donde
Ц ∉∑, (Símbolo blanco Ц pertenece al alfabeto
de la cinta no al alfabeto de las palabras que
se van a reconocer)
Γ = es el alfabeto de la cinta {x, y, B}, donde
Ц ∈ Γ y ∑⊆ Γ (Símbolo blanco pertenece al
conjunto de símbolos del alfabeto de la cinta y
el alfabeto de la cinta contiene al alfabeto de
entrada)
q 0= es el estado inicial
q F = es el estado aceptador
Máquina de Turing:
MT =( { q 0 , q 1 , q 2 } , { 0,1 } , q0 , { q 2 } ) , donde
Q={q 0 , q 1 , q 2 }
∑ ¿(0,1)
q 0=Estado inicial
q F ={ q 2 }
δ : ( Q− { q2 } x Γ ∪ { L , R , S } )

Función de transición δ , donde el conjunto de

estado incluyendo el estado final q 2, al hacer
las combinaciones con el alfabeto de la cinta
puede llegar a producir por la izquierda o la
derecha o en la misma posición, una función o
cadena valida.

La función se define de la siguiente forma

 δ = (Q * Γ) -> (Q * Γ * L, R )

δ (q0, 1) = (q0, 1, R)
δ (q0, 0) = (q0, 0, R)
δ (q0, 1) = (q0, 1, R)
δ (q1, 0) = (q2, 1, L)
δ (q2, 1) = (q2, 1, L)
δ (q2, 0) = (q2, 0, L)
δ (q1, Ц) = (q4, Ц, R)
Procedimiento Cadena a validar 1110001100
de paso a paso
Paso1: Inicialmente tenemos la cinta donde
tenemos el estado inicial, la cadena que vamos a
validar y la representación de los espacios vacíos
en la cinta, se selecciona el estado inicial q0 y
leemos un 1, la cinta escribe un 1 y el estado se
va a desplazar a la derecha

δ (q0, 1) =(q0, 1, R)

Paso 2: Se continúa con q0 y leemos un 0, la

cinta escribe un 0 y el estado se va a desplazar a
la derecha.

δ (q0, 0) =(q0, 0, R)

Paso 3: se continúa con q0 y leemos un 1, la

cinta escribe un 1 y el estado se va a desplazar a
la derecha.

δ (q0, 1) =(q0, 1, R)
Paso 4: se continúa con q0 y leemos un 0, la
cinta escribe un 0 y el estado se va a desplazar a
la derecha.

δ (q0, 0) =(q0, 0, R)

Paso 5:
se encuentra un espacio vacío, sale del estado q0,
continuamos con la siguiente transición que lleva
al estado q1. La secuencia es δ (q0, Ц) =(q1, Ц,
L), escribe vacío y se mueve a la izquierda.

Paso 6: se continúa con el estado q1 y leemos un

1, la cinta en este caso escribe un 1 y el estado se
va a desplazar a la izquierda.

δ (q1, 0) =(q2, 1, L)

Paso 7: se continúa con el estado q2 y leemos un

0, la cinta en este caso escribe un 0 y el estado se
va a desplazar a la izquierda.

Paso 8: se continúa con el estado q2 y leemos un

1, la cinta en este caso escribe un 1 y el estado se
va a desplazar a la izquierda.

δ (q2, 1) =(q2, 1, L)

Paso 9: se continúa con el estado q2 y leemos un

0, la cinta en este caso escribe un 0 y el estado se
va a desplazar a la izquierda.

δ (q2, 0) =(q2, 0, L)

Paso 10: se continúa con el estado q2 y leemos

un 1, la cinta en este caso escribe un 1 y el estado
se va a desplazar a la izquierda.

δ (q2, 1) =(q2, 1, L)
 Paso 11: Desde el estado q2 se lee la cadena
vacía, por lo tanto, se pasa al estado final q4,
escribe vacío y se mueve a la izquierda, ya hemos
terminado de recorrer la cadena mencionada.

δ (q2, Ц) =(q4, Ц, R)

b. Identifique una cadena que no sea válida y justifique el porque

La cadena 00012001100 no es válida puesto que la maquina solo le 0 y 1. La cadena ingresada
contiene un 2 en medio y no está dentro del lenguaje por lo que es rechazada.

c. Ejecute el RunTest a una cadena aceptada que tenga al menos cinco símbolos
d. Identifique en que momento la maquina se detiene
Se simula la cadena 00102

En el estado q0 se lee el valor 0

En el estado q0 se lee el valor de 1

En el estado q0 se lee el 0

En el estado q0 se lee el valor 2, en este punto la maquina se detiene

Referencias Bibliográficas

Expresiones Regulares: Una forma diferente de expresar un lenguaje

http://ocw.unican.es/ensenanzas-tecnicas/teoria-de-automatas-y-lenguajes-
formales/materialde-clase-nuevo/nuevo/1-5_Expresiones_regulares.pdf

Expresiones Regulares
http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo7.pdf
Máquinas Secuenciales Autómatas y Lenguajes. Tema 4: Expresiones regulares.
http://www.ia.urjc.es/cms/sites/default/files/userfiles/file/GICMSAL/Tema4_ExpresionesRegul
ares.pdf

Expresiones Regulares http://users.dsic.upv.es/asignaturas/eui/alc/ER.pdf

Expresiones Regulares https://ccc.inaoep.mx/~emorales/Cursos/Automatas/ExpRegulares.pdf

Expresiones Regulares. Introducción a la lógica

http://www.cs.famaf.unc.edu.ar/wiki/lib/exe/fetch.php?media=intrologica:2014:class-3-
handout-last.pdf

Lenguajes y algebra de eventos regulares

http://delta.cs.cinvestav.mx/~mcintosh/cellularautomata/Summer_Research_files/Algebra_re
gularPablo.pdf