Unidad 1 - Lenguajes Regulares

Autómatas y lenguajes formales

Presentado por
NORBEY COLLAZOS RAMIREZ
Código: 1077866001

Entregado a
FERNANDO ROJAS
Tutor

Grupo: 72

Universidad Nacional Abierta y a Distancia – UNAD

Pitalito – Huila
Octubre – 2020
 Ejercicio 1 – letra a

EJERCICIO A
TRABAJAR

Caracterización del - Identificación de la quíntupla del autómata

autómata K = {q0, q1, q2}
δ = {a, b, c}
s = q0
F = q2

- Plasme la tabla de transición

δ (q0, a) = q1
δ (q0, b) = q2
δ (q1, b) = q1
δ (q1, c) = q2
δ (q2, a) = q0

a b c
q0 q1 q2 ǿ
q1 ǿ q1 q2
q2 q0 ǿ ǿ

- Identificación del Autómata Finito Determinista o

Autómata Finito No Determinista

Determinista

- Explicar las características del tipo de autómata

Es un autómata determinista que contiene tres estados (q0, q1,

q2), las transiciones están acompañadas por las letras (a, b, c)
y su estado inicial es q0 y el estado final q2
Procedimiento de Realice de manera detallada el procedimiento paso a paso de
conversión de la conversión del autómata a expresión regular y según
Autómata Finito a ejemplo revisado.
Expresión Regular
paso a paso - Paso 1
Identificamos las ecuaciones
q0 = aq1 + bq2
q1 = bq1 + cq2
q2 = aq0 + λ

- Paso 2…
Despejamos empezando por el estado final o de aceptación

q2 = a
q1 = b* + (ca)
q0 = a(b* + (ca)) + a

Autómata Final q0 = a(b* + (ca)) + a

convertido
ER = a(b* + (ca)) + a
Lenguaje regular

Ejercicio 2 – letra a

EJERCICIO A
TRABAJAR

Caracterización del - Identificación de la quíntupla del autómata

autómata K = {q0, q1, q2}
δ = {a, b, c}
s = q0
F = q1
- Plasme la tabla de transición
δ (q0, b) = q0
δ (q0, b) = q2
δ (q0, a) = q1
δ (q2, b) = q1
δ (q1, a) = q0
 δ (q1, c) = q2

a b c
Q0 Q1 Q0, q2 …….
Q1 …. Q0 Q2
Q2 ….. Q1 ……

- Identificación del Autómata Finito Determinista o

Autómata Finito No Determinista

No Determinista

- Explicar las características del tipo de autómata

Es un autómata No determinista que contiene tres estados (q0,

q1, q2), las transiciones están acompañadas por las letras (a, b,
c) y su estado inicial es q0 y el estado final q1
Procedimiento de
conversión paso a En la siguiente tabla se presenta el procedimiento paso a paso
paso para la conversión del autómata
a b c
q0 q1 q0, q2 …….
q1 ….. q0 q2
q0,q2 q1 q0,q2,q1 …..
q2 …. q1 …..
q0,q2,q1 q1 q0,q2,q1 q2

Autómata Final
convertido
Practicar y
verificar lo Validación autómata original
aprendido

Validación autómata convertido

 Ejercicio colaborativo

ER = {(a)*+cd(ab)*b}

EJERCICIO A TRABAJAR

Notación formal del

autómata minimizado Identificación de la quíntupla

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

δ = {a, b, c, d}
s = q0
F = q5

Caracterización del
autómata parte teórica Según la ER dada se identificó 4 estados en el autómata
los cuales son: {q0, q1, q2, q3, q4} se determina su estado
inicial en q0 y el estado final en q1. Esta ER contiene un
alfabeto determinado por 4 letras las cuales son: {a, b, c,
d}
Se puede evidenciar que el autómata es Determinista ya
que con una letra solo podemos ir a un estado

Lenguaje Regular ER = {(a)*+cd(ab)*b}

Validación de cadenas
Practicar y verificar lo
aprendido

Aquí podemos notar que con la letra “a” pasamos al

siguiente estado el cual es q1
Aquí podemos apreciar que con n cantidad de “a”
seguimos en el estado q1

Con la letra “c” pasaríamos al estado q2

Con la letra “d” pasamos al estado q3

Con la letra “a” pasamos al estado q4

Con la letra “b” volvemos al estado q3

Con las letras “a b” podemos repetir los estados q3 q4

Aquí podemos apreciar que después de haber pasado por
todos los estados que le hemos indicado según la
cadena, ha llegado al estado final el cual es q1
 Bibliografía

 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. 119 - 127).
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   
 Alfonseca Cubero, E. (2007). Teoría de autómatas y lenguajes formales. Madrid
etc., Spain: McGraw-Hill España. (pp. 117 - 150). Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/lc/unad/titulos/50119

 González, A. [Ángela]. (2018, junio 1). Lenguajes Independientes del Contexto.

[Archivo web]. Recuperado de http://hdl.handle.net/10596/18317