Está en la página 1de 8

Tarea 2– Diseño de Autómatas

Presentado Por:
Enrique David Pinto
Kelly Johana Sierra
Franklin David Martínez
José Alberto Gutiérrez
Fernando López

Presentado a:
Jaime José Valdez

Unidad 1 – Lenguajes Regulares

Grupo #2

Universidad Nacional Abierta y a Distancia (UNAD)


Autómatas y Lenguajes Formales
Septiembre de 2021
TAREA 2– DISEÑO DE AUTÓMATAS

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
n del finita de elementos. Para el caso de los autómatas,
autómata estos se definen por una quíntupla, dado que
parte teórica 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
verificar lo abcccb recorre el 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.

REFERENCIAS
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

También podría gustarte