AUTOMATAS Y LENGUAJES FORMALES

FASE 6: DEBATIR, GENERAR, DETERMINAR E IMPLEMENTAR SOLUCIONES

A LOS EJERCICIOS PLANTEADOS

PRESENTADO A:

CESAR JIMENEZ

TUTOR

ENTREGADO POR:

GLADYS JOHANA BAUTISTA PEÑA – CODIGO: 1030602517

GRUPO: 301405_25

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

DICIEMBRE DE 2018

BOGOTÁ D.C.
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:

1.

 Lenguaje Regular

Q {q0,q1,q2}
q0 Estado inicial
Σ {0, 1}
F {q2}
𝛿 Función de transición
 Expresión Regular

𝑞 𝜎 𝛿(𝑞, 𝜎)
q0 0 q1
q0 0 q2
q0 1 q0
q1 0 q2
q1 1 q1
q2 1 q0

q0 a q2 = 1*0(1)*

q0 a q2 por q1 = 1*01*0

1*0(1)* + 1*01*0

Es un Autómata Finito No Determinista

2.

 Lenguaje Regular

Q {q0,q1,q2}
q1 Estado inicial
Σ {0, 1}
F {q2}
𝛿 Función de transición

 Expresión Regular

𝑞 𝜎 𝛿(𝑞, 𝜎)
q0 0 q1
q0 1 q1
q1 0 q0
q1 0 q2
q2 0 q1
q2 0 q2
q2 1 q0

q1 a q2 = 00*(0)*

00*(0)*

3. Es un autómata finito no determinista.

4.

 Lenguaje Regular

Q {q0,q1}
q0 Estado inicial
Σ {0, 1}
F {q1}
𝛿 Función de transición

 Expresión Regular

𝑞 𝜎 𝛿(𝑞, 𝜎)
q0 0 q1
q0 0 q0
q0 1 q0
q1 0 q0
q1 0 q1

q1 a q2 = 0*1*00*(0)*

0*1*00*(0)*

Es un autómata finito no determinista.

5.
  Lenguaje Regular

Q {q0,q1,q2,q3}
q0 Estado inicial
Σ {0, 1}
F {q3}
𝛿 Función de transición

 Expresión Regular

𝑞 𝜎 𝛿(𝑞, 𝜎)
q0 0 q1
q0 1 q0
q0 1 q2
q1 0 q3
q1 1 q3
q2 0 q3

q1 a q3 por q1 = 1*001

q0 a q3 por q2 = 1*10

1*001 + 1*10

Es un autómata finito no determinista.

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

Se realiza conversión de Autómata Finito Determinista a Autómata Finito No

Determinista.

𝑞 𝜎 𝛿(𝑞, 𝜎)
q0 0 q3
q0 1 q6
q1 0 q0
q1 1 q6
q2 1 q5
q3 0 q4
q3 1 q3
q5 0 q6
q5 1 q4

Ejercicio 3:

Realice la minimización paso a paso del autómata finito determinista.

- Se identifica la quíntupla

M = ({q0, q1, q2, q3, q4, q5, q6,}, {0, 1},

𝛿 , q0, {q4, q6})

K = {q0, q1, q2, q3, q4, q5, q6,}

Σ = {0, 1}

s = {q0}

F = {q4, q6}

- Transiciones

𝑞 𝜎 𝛿(𝑞, 𝜎)
q0 0 q3
q0 1 q6
q1 0 q0
q1 1 q6
q2 1 q5
q3 0 q4
q3 1 q3
q5 0 q6
q5 1 q4

- Dividimos en dos conjuntos.

Aceptadores:

X = {q4, q6}

No Aceptadores:

Y = {q0, q1, q2, q3, q5}

- Validamos la información del conjunto X.

0 1
q4 --- ---
q6 --- ---

Validamos la información del conjunto Y.

0 1
q0 Y X
q1 Y X
 q2 --- Y
q3 X Y
q5 X X

- Buscamos Equivalencias

0 1
q0 Y X
q1 Y X
q2 --- Y
q3 X Y
q5 X X

- Ahora creamos otros conjuntos con estas equivalencias y eliminamos Y.

X = {q4, q6}

A = {q0. q1}

B = {q2}

C = {q3}

D = {q5}

- Validamos la información con los nuevos conjuntos.

0 1
q4 --- ---
q6 --- ---

0 1
q0 C X
q1 A X

0 1
 q2 --- D

0 1
q3 X C

0 1
q5 X X

- Se realiza la tabla de transición de acuerdo a los conjuntos.

0 1
X --- ---
A C X
A A X
B --- D
C X C
D X X
B X J
C X X

- Autómata final
Ejercicio 4:

Realizar el autómata a Pila de L = {(𝒂 + 𝒃𝒏 )*}

Ejercicio 5:

Realizar una máquina de Turing de autoría propia y realice:

a. Recorra la maquina con al menos una cadena valida explicando lo

sucedido tanto en la cinta como en la secuencia de entrada.

Se recorre la cadena 0101

Estando en el estado q0, la cabeza de la MT señala al símbolo de cinta 0.

0 1 0 1
Entonces empieza a leer el símbolo 0 que según la MT reemplaza el 0 por 0

y avanza la cinta a la izquierda.

Después de avanzar a la izquierda lee “vacío”

0 1 0 1
 Remplaza “vacío” por “vacio” y avanza a la derecha.

Después de avanzar a la derecha lee 0

0 1 0 1

Remplaza 0 por 1 y avanza a la derecha hacia el estado final q2.

Estado final de la cinta:

1 1 0 1

b. Identifique una cadena que no sea válida y justifíquela por qué.

 La cadena 1010 es una cadena no valida porque para avanzar hacia los otros

estados debe ser con 0 desde q0 por lo que no puede hacer las transiciones.

c. Ejecute run test a una cadena aceptada que tenga al menos cinco

símbolos.

Cadena 00110
 d. Identifique en que momento la maquina se detiene.

La máquina se detiene al momento que llega al estado de aceptación q2.

REFERENCIAS BIBLIOGRAFICAS

Amaya, C. [Carlos Alberto Amaya Tarazona]. (2016, Septiembre 26).

CONSTRUCCION DE AUTOMATAS DIAGRAMAS DE MOORE Y TABLAS DE

TRANSICION [Archivo de video]. Recuperado de

https://www.youtube.com/watch?v=3kWdHOLw-AQ

[MonitoresUCaldas]. (2013, Octubre 18). Convertir un Automata No Determinista a

Determinista [Archivo de video]. Recuperado de

https://www.youtube.com/watch?v=6YeeMQPuGeo
Molinero, J. [Juancar Molinero]. (2014, Febrero 16). Definición Formal de un

Autómata Finito Determinista (AFD) [Archivo de video]. Recuperado de:

https://www.youtube.com/watch?v=P0AxQvJcN2Q

Molinero, J. [Juancar Molinero]. (2014, Febrero 19). Definición de los Autómatas

Finitos NO Deterministas (AFND) [Archivo de video]. Recuperado de:

https://www.youtube.com/watch?v=XRLyiA8EMPM

González, A. [Ángela]. (2018, junio 1). Lenguajes Regulares. [Archivo web].

Recuperado de http://hdl.handle.net/10596/18315

Guzmán, D. (2017, Septiembre 10). Convertir un AFD a un AFND [Archivo de video].

Recuperado de: https://www.youtube.com/watch?v=jJDtBV2bShU