Está en la página 1de 10

Tarea 2 – Diseño de Autómatas

Presentado por:

CC: 80769863 – Cesar Augusto León Zabala

Grupo no. 7

Tutor:

Rafael Pérez Holguín

Universidad Nacional Abierta y a Distancia – UNAD

Escuela Ciencias Básicas, Tecnología e Ingeniería

Programa Ingeniería de Sistemas

Autómatas y Lenguajes Formales - 301405

2021
Contenido

Desarrollo de la Actividad......................................................................................................3

Ejercicio Grupal – Construir autómata...............................................................................3

Referencias Bibliográficas....................................................................................................10
Desarrollo de la Actividad

Ejercicio Grupal – Construir autómata

Construir un autómata que realice lo siguiente:

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

Deben diligenciar la siguiente información:

EJERCICIO A
TRABAJAR

Notación Identifique la quíntupla del autómata creado:


formal del
M =( { q 0 , q 1 ,q 2, q 3 , q 4 , q 5 , q 6 , q 7 } , { 0,1 } , δ , q 0 , q 7 )
autómata
minimizado
Caracterizació K= { q 0 , q 1 , q 2 ,q 3 ,q 4 , q 5 , q 6 , q 7 } (son los estados del autómata)
n del autómata Σ= {0,1 } (es el alfabeto)
parte teórica s=q 0 (es el estado inicial)
F=q 7 (es el estado final)
Donde la función
δ : { q 0 , q 1 ,q 2, q 3 , q 4 , q 5 , q 6 , q 7 } x { 0,1 } → { q 0 , q 1 , q 2 ,q 3 ,q 4 , q 5 , q 6 , q 7 }
viene dada por:
δ ( q 0,0 )=ϕ
δ ( q 0,1 )=q 1
δ ( q 1,0 )=q 2 , q 5
δ ( q 1,1 )=q 1
δ ( q 2,0 )=q 3
δ ( q 2,1 )=ϕ
δ ( q 3,0 )=q 4
δ ( q 3,1 )=ϕ
δ ( q 4,0 ) =q 5
δ ( q 4,1 )=q 4
δ ( q 5,0 )=q 6
δ ( q 5,1 )=ϕ
δ ( q 5 , λ )=q 2
δ ( q 6,0 )=q 7
δ ( q 6,1 )=ϕ

Página 3
δ ( q 7,0 )=ϕ
δ ( q 7,1 )=ϕ
δ ( q 7 , λ )=q 0
Lenguaje
Regular
Validación de
cadenas

Practicar y Paso 1: Con 1 se hace transición al estado q1


verificar lo
aprendido

- Paso 2: Los 1s subsecuentes se mantienen en el estado q1


dado la estrella de Kleene

Página 4
- Paso 3: En vista de que el autómata es AFN (autómata finito
No determinista), con 0 hace transición hacia q2 y q5

- Paso 4:El siguiente 0 hace transición a q3 y q6

- Paso 5: El siguiente 0 hace transición a q7 y q4

Página 5
- Paso 6: El siguiente 0 hace transición a q0 dado la transición
vacía y también a q5

- Paso 7: El siguiente 0 desde q5 y la transición vacía permita


alcanzar el estado q2, y por la otra rama se llega a un estado
rechazado pues la transición sólo es posible hacerla con 1. Sin
embargo, desde q2 la cadena puede seguir siendo recorrida

Página 6
- Paso 8: Con el siguiente 0 se hace transición al estado q3

- Paso 9: Con el 1 se hace transición a q4 que dado la estrella de


Kleene hubiera sido posible continuar con más 1s o que 1 no
hubiera estado en la cadena evaluada

Página 7
- Paso 10: Con el siguiente 0 se hace transición al estado q5

- Paso 11: Con el siguiente 0 se hace transición al estado q6

- Paso 12: Con el siguiente 0 se hace transición al estado q7, y


es posible finalizar el autómata. En el numeral anterior se
demostró que esta es una cadena “Aceptada”

Página 8
Página 9
Referencias Bibliográficas

JFLAP Modules and Exercises (2016). Regular Expressions and Converting an RE to a

DFAJP. Recuperado de http://jflap.org/modules/ConvertedFiles/Regular

%20Expression%20to%20DFA%20Conversion%20Module.pdf

González, A. [Ángela]. (2017, noviembre 5). Autómatas Finitos. [Archivo de video].

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

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

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

González, A. [Ángela]. (2020, julio 14). Lenguajes Regulares. [Archivo web]. Recuperado

de https://campus113.unad.edu.co/ecbti84/mod/hvp/view.php?id=72

Página 10

También podría gustarte