ACTIVIDAD COLABORATIVA UNIDAD 1

TAREA 2 - DISEÑO DE AUTÓMATAS

301405_60

JAVIER FRANCISCO MORALES RONDON

10180562

Presentado a:
JAIME JOSE VALDES
Tutor

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
MEDELLÍN
28 DE FEBRERO 2021
 CONTENIDO

EJERCICIO 1.........................................................................................................................................................3
EJERCICIO 2.........................................................................................................................................................4
 EJERCICIO 1

Autómata a Expresión regular

Ejercicio a trabajar

Caracterización del Tipo de autómata: Autómata Finito no Determinista

autómata
Identificación de la quíntupla del
Autómata
5-Tupla (K,Σ,გ,s,f)
M = ({q0,q1,q2},{0,1},გ,q0,{q1})
K = {q0,q1,q2}
გ = {0,1}
s = q0
f = q1
Donde la Función გ : {q0,q1,q2} x {0,1}
→
{q0,q1,q2} dado
გ = (q0,0) = q1
გ = (q0,1) = q1
გ = (q1,1) = q1
გ = (q1,1) = q2
გ = (q2,0) = q0

   
  0 1
q0 q1 q1
q1 φ q1,q2
q2 q0 φ
Procedimiento de Vamos a realizar el paso a paso por el método de eliminación:
conversión de
Paso 1
Autómata Finito a
Expresión Regular Eliminamos el estado Desdoblado el Autómata, obteniendo como
paso a paso resultado:

Paso 2
Procedemos eliminando el estado q1, el cual nos queda de la
siguiente forma
 Paso 3
Procedemos eliminando el estado q2, el cual nos queda de la
siguiente forma

Autómata Final ER=¿

convertido
Lenguaje regular { 0 }∗¿

EJERCICIO 2

Ejercicios 2: Conversión de Autómatas Finitos Deterministas a Autómatas

Finitos No deterministas (AFD a AFND) y viceversa
Ejercicio a
trabajar

Caracterización Tipo de autómata: Autómata Finito no Determinista

del autómata
Identificación de la quíntupla del
Autómata
5-Tupla (K,Σ,გ,s,f)
M = ({q0,q1,q2,q3},{0,1},გ,q0,{q0,q1})
K = {q0,q1,q2}
გ = {0,1}
s = q0
f = q0,q1
Donde la Función გ : {q0,q1,q2} x {0,1}
→
{q0,q1,q2} dado
გ = (q0,1) = q1
გ = (q0,1) = q3
გ = (q1,1) = q2
გ = (q2,1) = q2
გ = (q2,0) = q0
გ = (q3,1) = q2

   
  0 1
q0 φ q1
q1 φ q2
q2 q0 q2
q3 φ q2
 Autómata Finito NO Determinística
Ya que un mismo alfabeto va a varios
estados
Procedimiento Vamos a realizar el paso a paso por el método de eliminación:
de conversión de
Paso 1
Autómata paso a
paso Eliminamos el estado Desdoblado el Autómata, obteniendo como
resultado:

Paso 2
Procedemos eliminando el estado q1, el cual nos queda de la siguiente
forma
Paso 3
Procedemos eliminando el estado q3, el cual nos queda de la siguiente
forma

Paso 4
Procedemos eliminando el estado q2, el cual nos queda de la siguiente
forma
Autómata Final ER=0(11+11)+1∗¿
convertido
Lenguaje regular ¿