Ejercicio Grupal

Erick Riaño Hoyos

Amaury Polo

Antonio Jose Bertel

Larry Fernando Caballero

Lesby Elena Perez

Marzo 2021

Universidad Nacional Abierta Y A Distancia (UNAD) 

Autómatas Y Lenguajes Formales

Grupo 48
 EJERCICIO A TRABAJAR

Notación formal del autómata 5-tupla (𝐾, ∑, ℴ, 𝑆, 𝐹,)

minimizado

Caracterización del autómata parte 5-tupla (𝐾, ∑, ℴ, 𝑆, 𝐹,) Donde

teórica
M = ({q0, q1, q2, q3, q4}, {0, 1}, ℴ, {q3}, {q1, q4})

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

∑ = {0, 1}

S = {q3}

F = {q1, q4}

Donde la función:

ℴ{q0, 0} = q1

ℴ{q0, 1} = q0
 ℴ{q1, 0} = q2

ℴ{q2, 0} = q4

ℴ{q3, 1} = q0

ℴ{q4, 0} = q1

ℴ{q4, 1} = q0

Tabla de transición

0 1

q0 q1 q0

q1 q2 -

q2 q4 -

q3 - q0

q4 q1 q0

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

 Validación de cadenas

Practicar y verificar lo aprendido

 Referencias Bibliográficas

Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000). Teoría de lenguajes,
gramáticas y autómatas para informáticos. Digitalia. (pp. 127 - 142). Recuperado
de https://bibliotecavirtual.unad.edu.co/login?url=https://search-ebscohost-
com.bibliotecavirtual.unad.edu.co/login.aspx?
direct=true&db=nlebk&AN=318032&lang=es&site=ehost-live&ebv=EB&ppid=pp_Cover
Jurado Málaga, E. (2008). Teoría de autómatas y lenguajes formales. Universidad de
Extremadura. Servicio de Publicaciones. (pp. 39 - 70). Recuperado
de https://bibliotecavirtual.unad.edu.co/login?url=http://search.ebscohost.com/login.aspx?
direct=true&db=edsbas&AN=edsbas.62161440&lang=es&site=eds-live&scope=site
OVI Unidad 1 -  Autómatas Finitos
González, A. [Ángela]. (2017, noviembre 5). Autómatas Finitos. [Archivo de video]. Recuperado
de http://hdl.handle.net/10596/10470
OVA Unidad 1 -  Lenguajes Regulares
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