Ejercicio Grupal: Construir autómata

Construir un autómata que realice lo siguiente:

ER = {(a)*+cd(ab)*b}
Deben diligenciar la siguiente información:

EJERCICIO Registre aquí el Autómata realizado. Por favor agregue la imagen.

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

r=r1+r2 donde r1 = (a) * y r2 = cd (ab)*b

Obtención de 𝑟1=(𝑎)∗

r 2 se puede expresar como r 3 , r 4 . r 5donde r 3=cd ,r 4=( ab )∗y r 5=b

El autómata para r 3 es:

El autómata para r 4 es:

El autómata para r 5 es:

 Con lo anterior r 2queda de la siguiente:

El autómata final r =r 1+ r 2 queda de la siguiente forma:

Notación En este espacio agrega la notación formal del autómata. Identifique la

formal del quíntupla del autómata creado.
autómata
minimizado AFD1 = (Σ, Q, qi, F, f), donde: Σ={𝑎,𝑏.𝑐}(Conjunto de símbolos de
entrada del AFD)

𝑄= {𝑞0, 𝑞1,𝑞2,𝑞3,𝑞4,𝑞5,𝑞6,𝑞7,𝑞8,𝑞9,𝑞10,𝑞11,𝑞12,𝑞13,𝑞14,𝑞15,𝑞16}
(Conjunto de estados del AFD)

qi = q0 (estado inicial del AFD (q0Є Q))

F= {q16}

f: función de transición de estados del AFD

Caracterizació AFD1 = ( Σ, Q, qi, F, f ), donde: Σ={𝑎,𝑏.𝑐}(Conjunto de símbolos de

n del entrada del AFD)
autómata
parte teórica 𝑄={𝑞0,𝑞1,𝑞2,𝑞3,𝑞4,𝑞5,𝑞6,𝑞7,𝑞8,𝑞9,𝑞10,𝑞11,𝑞12,𝑞13,𝑞14,𝑞15,𝑞16}
(Conjunto de estados del AFD)

qi = 𝑞0(estado inicial del AFD (𝑞0 Є Q))

 F= {𝑞16}

f: función de transición de estados del AFD

AFND-λ
=<{𝑞0,𝑞1,𝑞2,𝑞3,𝑞4,𝑞5,𝑞6,𝑞7,𝑞8,𝑞9,𝑞10,𝑞11,𝑞12,𝑞13,𝑞14,𝑞15,𝑞16},
{a,b,c}, δ, 𝑞0 ,{ 𝑞16 }>, con δ definida por el siguiente diagrama de
transición de estados

Lenguaje En este espacio agrega el lenguaje regular del autómata.

Regular
ER = {(a)*+cd(ab)*b}
Validación de
cadenas
Practicar y
verificar lo
aprendido