AUTÓMATAS Y LENGUAJES FORMALES

FASE 2: DISEÑO DE AUTÓMATAS

OSCAR IVAN BLANCO AYALA - C.C. 1.130.676.722

LILIANA ANDREA LOPEZ - C.C.

YEFFERSON BERMUDEZ - C.C. 14478389

ZUILSEN MERA ACOSTA – C.C. 1144064073

Presentado a:

Tutora: JAIME JOSE VALDES

Grupo: 301405_43

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD DE

COLOMBIA.
CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
INGENIERÍA DE SISTEMAS
SANTIAGO DE CALI
2021
EJERCICIO
PARA
TRABAJAR

Notación 5-tupla (K, Σ, δ, s, F)

formal del
autómata
minimizado
Caracterización 5-tupla (K, Σ, δ, s, F)
del autómata M= ({q 0 , q1 , q2 , q3 , q4 , q 5}, {0,1}, δ, q 0,{q 0})
Parte teórica K = {q 0 , q1 , q2 , q3 , q4 , q 5}, conjunto finite de estados
Σ = {0,1}, alfabeto finite de símbolos de entrada
s = q 0 , estado inicial en k
F = q 0 , estado final o de aceptación

0 1
Q0 Ø Q1
Q1 Q1 Q2
Q2 Q5, Q3 Ø
Q3 Q4 Ø
Q4 Q2 Q4
Q5 Q0 Ø

ALFABETO.
Conjunto finito de símbolos (∑)
∑= {0, 1}, alfabeto binario.
∑= {a, b, c, d, . . . , z}, alfabeto del abecedario en
minúsculas.
Conjunto de los caracteres ASCII.
CADENA.
Secuencia finita de símbolos elegidos de un alfabeto.
01101
abracadabra
La cadena vaciá se denota como: e.

LENGUAJE REGULAR.
Son los lenguajes formales más simples, con los mecanismos
de representación y reconocimiento de tres tipos, gramáticas
regulares, autómatas finitos o expresiones regulares.

EXPRESIÓN REGULAR.
Estas son un formalismo para representar lenguajes. Dado un
alfabeto, las expresiones regulares describen conjuntos de
cadenas del alfabeto. Por lo tanto, describen lenguajes sobre el
alfabeto.
Lenguaje
regular ሺ11∗0ሺ001∗0ሻ∗00ሻ∗
Validación de
cadenas
Practicar y
verificar lo
aprendido
 - Simulación de autómata

¿ ¿
Según la expresión regular ( 1 1¿ 0 ( 00 1¿ 0 ) 00 ) , menciona que
aquellos asteriscos (*) representan la repetición alfabeto
o el grupo de alfabetos infinidad de veces es decir que si
vemos la siguiente expresión 1 quiere decir que dentro
¿

de mi cadena de validación puedo ingresar tantos unos

(1) se me antojen y cuando vemos estos a nivel de un
¿ ¿
grupo de alfabetos como en esta parte ( 00 1 0 ) menciona
que ese grupo de alfabetos se puede repetir tantas veces
como se quiera.

Explicación del posible recorrido del siguiente autómata:

Vamos a explicar el posible recorrido: 11000 para el
autómata presentado anteriormente

Para ello se debe tener en cuenta que en este autómata

tanto el estado inicial como el final es q0, por lo cual
entonces pasaremos del estado q0 a q1 con una
transición de 1, en q1 podemos hacer una transición
sobre si mismo con 1 y posteriormente podemos avanzar
a q2 con transición 0, en q2 con una misma transición
podríamos ir a q3 o a q5, para este ejemplo vamos a
pasar de q2 a q5 con una transición de 0 y finalmente
podemos llegar a q0 nuevamente con una transición de 0
y así finalizaría correctamente nuestro posible recorrido.
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

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]. (2020, julio 14). Lenguajes Regulares.

[Archivo web]. Recuperado de
https://campus113.unad.edu.co/ecbti84/mod/hvp/view.php?id=72