EJERCICIOS A DESARROLLAR

A continuación, se definen los ejercicios a desarrollar:

Ejercicios d:

Ejercicios 1: Autómata a Expresión regular

Con el ejercicio seleccionado debe diligenciar la siguiente tabla:

EJERCICIO A
TRABAJAR δ a b
>q0 q2 q1
q1 - q2
#q2 - q1,q2

Caracterización 𝑄 = {𝑞0, 𝑞1, 𝑞2} conjunto de estados finitos

del autómata ∑ = {𝑎, 𝑏} alfabeto de entrada
𝑆 = 𝑞0 estado inicial del autómata
𝐹 = 𝑞2 conjunto de estados finales
Funciones de transición
𝛿(𝑞0, 𝑎) = 𝑞2
𝛿(𝑞0, 𝑏) = 𝑞1
𝛿(𝑞1, 𝑏) = 𝑞2
𝛿(𝑞2, 𝑏) = 𝑞1
𝛿(𝑞2, 𝑏) = 𝑞2

Este es un autómata finito no determinista AFND, pues del

estado q2 lleva tanto a q1 y al mismo q2 con valor b.
Procedimiento Realice de manera detallada el procedimiento paso
de conversión a paso de la conversión del autómata a expresión regular y
de Autómata según ejemplo revisado.
Finito a
Expresión
Regular paso a
paso
 A través del método de eliminación de estados

- Paso 1

Eliminamos q1

- Paso 2

Eliminamos q0

Tenemos que la expresión regular es

EP= *b(a+bb)
Autómata Final
convertido

Lenguaje
𝐿(𝑀) = 𝑏, (𝑎, 𝑏𝑏, (𝑏𝑏), 𝑎𝑏)
regular

Gonzales, A. M. [Angela María González Amarillo]. (2018, 28 mayo). Expresiones regulares

[Vídeo]. YouTube. https://www.youtube.com/watch?v=65B5QUNHfaM&ab

Molinero, J. C. [JuanCar Molinero]. (2016, 22 junio). De Autómata Finito a Expresión

Regular [Vídeo]. YouTube. https://www.youtube.com/watch?v=0CI1hPRksbM
Campesato, O. (2018). Regular Expressions: Pocket Primer. Dulles, Virginia: Mercury
Learning & Information, ISBN 9781683922278. Chapter 1 Introduction to
Regular Expressions, (pp. 1 - 24). https://search-ebscohost-
com.bibliotecavirtual.unad.edu.co/login.aspx?direct=true&db=e000xww&AN=18
26926&lang=es&site=ehost-live

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). https://bibliotecavirtual.unad.edu.co/login?url=https://search-ebscohost-
com.bibliotecavirtual.unad.edu.co/login.aspx?direct=true&db=nlebk&AN=31803
2&lang=es&site=ehost-live&ebv=EB&ppid=pp_Cover