EJERCICIO 1

De cada uno de los siguientes autómatas, realizar el procedimiento paso a paso de hallar la
expresión regular, el lenguaje regular y explicar el tipo de autómata que es:
Paso 1: Se elimina el estado “q1”.
Se inicia efectuándose la transición desde “q0” a “q1” con
el símbolo de transición “0”, y finalmente la transición de
“q1” a “q2” utilizando el símbolo de transición “0”,
quedando de la siguiente forma.

Paso 2: Eliminamos el estado “q2”. Iniciando con la

transición desde “q2” a “q0” utilizando el símbolo de
transición “1”.

Expresión Regular = ER = 1
Lenguaje Regular = (1) L = {W E {1}
Tipo de autómata: Autómata Finito Determinista AFD.

Paso 1: Eliminamos el estado “q1”. Iniciando

efectuándose la transición desde “q0” a “q1” con los
símbolos de transición “1”, y finalmente la transición de
“q1” a “q2” utilizando el símbolo de transición “0”,
quedando de la siguiente forma.

Paso 2: Eliminamos el estado “q2”. Iniciando con la

transición desde “q2” a “q0” utilizando el símbolo de
transición “1”.

Expresión Regular = ER = 100+1

Lenguaje Regular = (100) y (1) L = {W E {1,0}
Tipo de autómata: Autómata Finito Determinista AFD.
Paso 1: Eliminamos el estado “q1”. Iniciando
efectuándose la transición desde “q0” a “q1” con los
símbolos de transición “0”.

Expresión Regular = ER = 0+1

Lenguaje Regular = (0) y (1) L = {W E {1,0}
Tipo de autómata: Autómata Finito Determinista AFD.
Paso 1: Eliminamos el estado “q1”. Iniciando
efectuándose la transición desde “q0” a “q1” con el
símbolo de transición “0”, y finalmente la transición de “q1”
a “q3” utilizando el símbolo de transición “10”, quedando
de la siguiente forma.

Paso 2: Eliminamos el estado “q2”. Se inicia

efectuándose la transición desde “q0” a “q2” con el
símbolo de transición “1”, y finalmente la transición de “q2”
a “q3” utilizando el símbolo de transición “0”, quedando de
la siguiente forma.

Expresión Regular = ER = 10+010

Lenguaje Regular = (10) y (010) L = {W E {1,0}
Tipo de autómata: Autómata Finito Determinista AFD.
 Teniendo en cuenta el siguiente autómata realizar los puntos siguientes

Ejercicio 2: Realizar la conversión de AFD a AFND o de AFND a AFD según corresponda

Conversión de AFD a AFND

𝛴 = 0, 1
𝑀 = 𝑄0, 𝑄1, 𝑄2, 𝑄3, 𝑄4, 𝑄5, 𝑄6
𝑆 = 𝑄0
𝐹 = 𝑄6, 𝑄4

𝜟𝒎 (𝒒𝟎, 𝟏) = {𝜹 (𝒒𝟎, 𝟏)} = {𝒒𝟔}

𝜟𝒎 (𝒒𝟎, 𝟎) = {𝜹 (𝒒𝟎, 𝟎)} = {𝒒𝟑}
𝜟𝒎 (𝒒𝟏, 𝟏) = {𝜹 (𝒒𝟏, 𝟏)} = {𝒒𝟔}
𝜟𝒎 (𝒒𝟏, 𝟎) = {𝜹 (𝒒𝟏, 𝟎)} = {𝒒𝟎}
𝜟𝒎 (𝒒𝟐, 𝟏) = {𝜹 (𝒒𝟐, 𝟏)} = {𝒒𝟓}
𝜟𝒎 (𝒒𝟐, 𝟎) = {𝜹 (𝒒𝟐, 𝟎)} = {𝒒𝟏}
𝜟𝒎 (𝒒𝟑, 𝟏) = {𝜹 (𝒒𝟑, 𝟏)} = {𝒒𝟑}
𝜟𝒎 (𝒒𝟑, 𝟎) = {𝜹 (𝒒𝟑, 𝟎)} = {𝒒𝟒}
𝜟𝒎 (𝒒𝟒, 𝟏) = {𝜹 (𝒒𝟒, 𝟏)} = {----}
𝜟𝒎 (𝒒𝟒, 𝟎) = {𝜹 (𝒒𝟒, 𝟎)} = {----}
𝜟𝒎 (𝒒𝟓, 𝟏) = {𝜹 (𝒒𝟓, 𝟏)} = {𝒒𝟒}
𝜟𝒎 (𝒒𝟓, 𝟎) = {𝜹 (𝒒𝟓, 𝟎)} = {𝒒𝟔}
𝜟𝒎 (𝒒𝟔, 𝟏) = {𝜹 (𝒒𝟔, 𝟏)} = {----}
𝜟𝒎 (𝒒𝟔, 𝟎) = {𝜹 (𝒒𝟓, 𝟎)} = {----}
 Ejercicio 3: realice la minimización paso a paso del autómata finito determinista

5 𝑇𝑈𝑃𝐿𝐴 (𝐾, 𝛴, 𝛥, 𝑆, 𝐹)
𝑀
= {𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞4, 𝑞5, 𝑞6}, {0, 1}
𝛥, 𝑞0, {𝑞6, 𝑞4}
𝐾 = {𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞4, 𝑞5, 𝑞6}
𝑆 = {𝑞0} (𝐸𝑠𝑡𝑎𝑑𝑜 𝐼𝑛𝑖𝑐𝑖𝑎𝑙)
𝐹 = {𝑞6, 𝑞4} (𝐸𝑠𝑡𝑎𝑑𝑜 𝑓𝑖𝑛𝑎𝑙)
𝛴 = {0, 1} (𝐴𝑙𝑓𝑎𝑏𝑒𝑡𝑜)

𝜟 (𝒒𝟎, 𝟎) = 𝒒𝟑
𝜟 (𝒒𝟎, 𝟏) = 𝒒𝟔
𝜟 (𝒒𝟏, 𝟎) = 𝒒𝟎
𝜟 (𝒒𝟏, 𝟏) = 𝒒𝟔
𝜟 (𝒒𝟐, 𝟎) = 𝒒𝟏
𝜟 (𝒒𝟐, 𝟏) = 𝒒𝟓
𝜟 (𝒒𝟑, 𝟎) = 𝒒𝟒
𝜟 (𝒒𝟑, 𝟏) = 𝒒𝟑
𝜟 (𝒒𝟒, 𝟎) = ---
𝜟 (𝒒𝟒, 𝟏) = ---
𝜟 (𝒒𝟓, 𝟎) = 𝒒𝟔
𝜟 (𝒒𝟓, 𝟏) = 𝒒𝟒
𝜟 (𝒒𝟔, 𝟎) = ---
𝜟 (𝒒𝟔, 𝟏) = ---
 Se evalúan los conjuntos con el lenguaje Σ={0,1}

ACEPTACIÓN
Transición
Estado
0 1
q4 - -
q6 - -

NO ACEPTACIÓN
Transición
Estado
0 1
q0 Y X
q1 Y X
q2 Y Y
q3 X Y
q5 X X

 Se crean nuevos conjuntos para las tablas que tienen las mismas
transiciones

J(q4,q6) K (q0,q1) L (q2) M (q3) N (q5)

 Se evalúan los conjuntos con el lenguaje Σ={0,1}

J
Transición
Estado
0 1
q4 - -
q6 - -

K
Transición
Estado
0 1
q0 M J
q1 K J

L
Transición
Estado
0 1
q2 K N
 M
Transición
Estado
0 1
q3 J M

N
Transición
Estado
0 1
q5 J J

 Dividimos el conjunto K en A y B
A (q0), B (q1)
 Se evalúan los conjuntos con el lenguaje Σ={0,1}

J
Transición
Estado
0 1
q4 - -
q6 - -

A
Transición
Estado
0 1
q0 M J

B
Transición
Estado
0 1
q1 A N

L
Transición
Estado
0 1
q2 B N

M
Transición
Estado
0 1
q3 J M
 N
Transición
Estado
0 1
q5 J J

 Se realiza la tabla de transición

L
Transición
Estado
0 1
J - -
A M J
B A N
L B N
M J M
N J J

 Se realiza el grafico con la tabla de transición

Ejercicio 4: Realizar el autómata a Pila de L = {(a + 𝑏 𝑛 ) ∗}
Desarrollamos la tabla para la conversión del autómata a pila con el estado q y leyendo las
cadenas aabb,add,dd,d,λ.

Estado Por leer pila

aabb λ
abb a
q bb aa
b a
λ λ

Al desarrollar el autómata con la tabla que hicimos nos queda asi:

Ejercicio 5: Realizar una máquina de turing de autoría propia y realice:

a. Recorra la máquina con al menos una cadena válida explicando lo sucedido tanto en la
cinta como en la secuencia de entrada.
Para este punto vamos a desarrollarlo con la cadena “aabb”

El autómata inicia en q0, la cinta tiene “aabb”, y la cabeza de la cinta está sobre “a”
Lee la “a” y la cambia por una “X” y se mueve hacia la derecha. La cabeza sigue en “a” y el
autómata paso al estado q1

Lee la “a” la deja como esta y se mueve hacia la derecha. La cabeza queda sobre “b” y el
autómata sigue en el estado q1.
Lee el “b” y lo cambia por una “Y” y se mueve hacia la izquierda. La cabeza cambia a “a” y el
autómata pasa al estado q2.

Lee el “a” lo deja como esta y se mueve hacia la izquierda. La cabeza queda en “X” y el
autómata sigue en el estado q2.
Lee el “X” lo deja como esta y se mueve hacia la derecha. La cabeza cambia a “a” y el autómata
pasa al estado q0.

Lee el “a”, lo cambia por la “X” y se mueve hacia la derecha. La cabeza queda sobre “Y” y el
autómata pasa al estado q1.
Lee la “Y”, lo deja igual y se mueve hacia la derecha. La cabeza queda en “b” y el autómata
sigue en el estado q1.

Lee el “b”, lo cambia por “Y” y se mueve hacia la izquierda. La cabeza queda sobre “Y” y el
autómata pasa al estado q2.
Lee el “Y”, lo deja igual y se mueve hacia la izquierda. La cabeza queda en “X” y sigue en el
estado q2.

Lee el “X”, lo deja igual y se mueve hacia la derecha. La cabeza queda en “Y” y cambia al
estado q0.
Lee el “Y”, lo deja igual y se mueve hacia la derecha. La cabeza queda sobre “Y” y el autómata
cambia al estado q3.

Lee el “Y”, lo deja igual y se mueve hacia la derecha. La cabeza queda en un espacio en blanco
y el autómata sigue en el estado q3.
Lee el espacio en blanco, lo deja así y se mueve hacia la derecha. La cabeza queda en un
espacio en blanco, el autómata pasa al estado q4 y finaliza su ejecución.

b. Identifique una cadena que no sea válida y justifíquela porque

Al leer la cadena “bbaa”, esta empieza por “b”, y según el requerimiento dado para esta
máquina de turing: 𝑳 = {𝒂𝒏 𝒃𝒏 ; 𝒏 ≥ 𝟏} implica que las cadenas validas tienen que empezar por
“a”.
El estado inicial del autómata solo tiene acciones para hacer cuando se lee una “a” o una “Y”
pero nunca una “b”, eso quiere decir que no se cumplen las condiciones y la palabra nunca
llegara al estado de aceptación.
c. Ejecute el RunTest a una cadena aceptada que tenga al menos cinco símbolos

d. Identifique en que momento la máquina se detiene.

La máquina se detiene cuando llega al estado de aceptación y la cabeza de la cinta está sobre
un espacio en blanco