TAREA 2

DISEÑO DE AUTÓMATAS

JOHANNA MARCELA FERRO GONZÁLEZ

CÓDIGO: 1053333819

ÁNGELA MARÍA GONZÁLEZ

TUTORA

AUTÓMATAS Y LENGUAJES FORMALES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA “UNAD”

FACULTAD DE INGENIERÍA
INGENIERÍA DE SISTEMAS
CEAD GARAGOA
MARZO 2021
 DESARROLLO DE LOS EJERCICIOS

Ejercicios 1: Autómata a Expresión regular

EJERCICIO A
TRABAJAR

Caracterización En este espacio se realiza:

del autómata - Identificación de la quíntupla del
autómata
M({q0,q1,q2},{a, b, c}, δ, q0,{q2}
K{q0, q1, q2}
Σ {a, b, c}s q0
F q1
- Plasme la tabla de transición
0 1
q0 - q1
q1 q2 q2
q2 q1 -

- Identificación del Autómata Finito

Es un autómata finito no determinístico
- Explicar las características del tipo de
autómata

 Es el autómata finito que tiene

transiciones vacías o que por cada
símbolo desde un estado de origen se
llega a más de un estado destino.
 Son definiciones no tan deseables dentro
de los lenguajes regulares porque
dificultan su implementación tanto
mecánica como informática.
 Una cadena es aceptada si solo una de
todas sus posibles transiciones son hacia
un estado final.

Procedimiento Procedemos a desdoblar y eliminar q1

de conversión
de Autómata
Finito a
Expresión
Regular paso a
paso

Resultado del autómata 0+110

Y quedaría así:

Luego eliminamos a q2

Y quedaría(0+110)0

Autómata Final
convertido

Lenguaje (0+110)0
regular
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 En este espacio se realiza:

del autómata - Identificación de la quíntupla del
autómata
Identificación de la quíntupla:
M =( { q 0 , q 1 ,q 2, q 3 } , { 0,1 , λ } , δ , q , q 0 , { q 1 } )
K={q 0 , q 1 , q 2 , q 3 }
∑ ¿{0,1 , λ }
s=q 0
f =q 1 , q 3

- Plasme la tabla de transición

0 1
q0 - q1,q3
q1 - q2
q2 - -
q3 - q1,q2

- Identificación del Autómata Finito

Autómata Finito No
- Determinista
- Explicar las características del tipo de
autómata
Es el autómata finito que tiene transiciones
vacías o en este caso, que por cada símbolo
desde un estado de origen se llega a más de
un estado destino
Autómata Final
convertido

Practicar y Cadenas del automata inicial

verificar lo
aprendido

Cadenas del automata Final

Ejercicio Grupal: Construir autómata

Construir un autómata que realice lo

siguiente: ER = (11*0(001*0)*00)*

EJERCICIO A
TRABAJAR

Notación formal la quíntupla del autómata del autómata está definido

del autómata por:
minimizado AFD=(Σ,Q,f,q0,F), donde
Σ es el alfabeto de entrada
Q es el conjunto finito y no vacío de los estados del
Autómata
f es la función de transición que indica en que
situaciones el Autómata pasa de un estado a otro, se
define f:Q×Σ−→Q
q0∈ Q es el estado inicial
F⊂Q es el conjunto de estados finales de aceptación (F≠
Ø)

Caracterización Σ= {0,1}
del autómata Q= {q0,q1,q2,q3,q4,q5}
parte teórica f= {q2}
q0∈ Q {q0}
F⊂Q= {q2}
-Plasme la tabla de transición
0 1
q0 q2 q1
q1 q2 q1
q2 q3,q5 -
q3 q4 -
q4 q2 q4
q5 q0 -
Lenguaje (11*0(001*0)*00)*
Regular
Validación de
cadenas

Practicar y
verificar lo
aprendido

El recorrido lo hace de q0 a q1

Luego el recorrido lo hace de q1 a q2

Y asi sucesivamente dependiendo la cadena que se
le dé para recorrerla