Tarea 2– Diseño de Autómatas

Presentado Por:
Enrique David Pinto Peralta

Presentado a:
Jaime José Valdéz

Universidad Nacional Abierta y a Distancia (UNAD)

Autómatas y Lenguajes Formales
Septiembre 29 de 2021
Ejercicio Grupal:

Construir un autómata que realice lo siguiente:

ER = (ab*c(cc)*b)

EJERCICIO A
TRABAJAR

Notación Identificación de la quíntupla del autómata

formal del
autómata M: ({q0, q1, q2,q3,q4}, {a, b,cc,b}, ẟ, q0 {q4})
minimizado K: {q0, q1, q2,q3,q4}- número de estados
Σ: {a, b,c}- alfabeto
s: q0- estado inicial
F: q4 – estado final

Función ẟ: {q0, q1, q2,q3,q4} x {a, b,c} → {q0, q1, q2,q3,q4}

 ẟ {q0, a} = q2
 ẟ {q1, c} = q3
 ẟ {q2, b} = q2
 ẟ {q2, c} = q3
 ẟ {q3, b} = q4
 ẟ {q3, c} = q1
- Plasme la tabla de transición:

a b c
→ Q0 q2 ----- -----
Q1 ----- ----- q3
Q2 ----- q2 q3
Q3 ----- q4 q1
# Q4 ----- ----- -----
Caracterizació Tupla: Una tupla es una lista (secuencia) ordenada finita de
n del autómata elementos. Para el caso de los autómatas, estos se definen por una
parte teórica quíntupla, dado que contiene 5 elementos, N=( K, Σ, δ, s, F), donde:
K= es un conjunto finito de estados
Σ es un alfabeto finito de símbolos de entrada
S es el estado inicial en K
F es el conjunto de estados finales o de aceptación y subconjunto de
K
δ es la relación de transiciones, que a partir de un estado y un
símbolo del alfabeto obtiene un nuevo estado.

Estado Inicial: Es por donde comenzará la ejecución el autómata.

Para el caso de nuestro autómata es q0.

Estado Final: Es el estado donde el autómata queda posicionado

una vez haya terminado de procesar todos los símbolos de entrada y
no reste ningún símbolo por leer. Para el caso de nuestro autómata
es q4.

Alfabeto: Es un conjunto finito de símbolos, cuyos elementos se

denominan símbolos o letras. En nuestro caso, el alfabeto del
autómata es Σ= {a, b, c}.

Palabra o Cadena: Es una secuencia finita de símbolos que

pertenecen a un alfabeto. En este caso en particular, validaremos 5
cadenas aceptadas y 5 cadenas rechazadas por el autómata.

Lenguaje Regular: Son aquellos lenguajes cuyas palabra o cadenas

contienen repeticiones de los mismos componentes. Para nuestro
autómata el lenguaje regular es {ab}*.(c.{cc}*).{b}.

Expresión Regular: Las expresiones regulares describen conjuntos

de cadenas del alfabeto. Para nuestro autómata la expresión regular
es (ab*c(cc)*b)

Lenguaje {ab}*.(c.{cc}*).{b}
Regular
Validación de
cadenas

Validación de cadenas aceptadas

acb
abcb
abcccb
acccb
abbcb

Validación cadenas no aceptadas

ab
abccb
bcb
abc
abcbcc
Practicar y Se muestra a continuación como la cadena válida abcccb recorre el
verificar lo autómata.
aprendido Paso 1. El autómata se encuentra en el estado inicial q0.
Paso 2. Transición a, el autómata pasa al estado q2.

Paso 3. Transición b, el autómata hace un ciclo repetitivo en q2.

Paso 4. Transición c, el autómata pasa del estado q2 al estado q3.

Paso 5. Transición c, el autómata pasa del estado q3 al estado q1.

Paso 6. Transición c, el autómata pasa del estado q1 al estado q3.

Paso 7. Transición b, el autómata pasa del estado q3 al estado final

q4, finalizando así, de manera exitosa, el recorrido de la cadena a
través del autómata.
 BIBLIOGRAFIA
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