Ejercicio Grupal: Construir autómata

Elabore el autómata para el siguiente lenguaje sobre el alfabeto {a,b}:

L = {W | W comienza por ba y termina en a} sobre {a,b}
Deben diligenciar la siguiente información:

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

TRABAJAR

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

formal del la quíntupla del autómata creado.
autómata
minimizado 𝑄 = {𝑞0, 𝑞1, 𝑞2} conjunto de estados finitos
∑ = {𝑎, 𝑏} alfabeto de entrada
𝑆 = 𝑞0 estado inicial del autómata
𝐹 = 𝑞2 conjunto de estados finales
Funciones de transición
𝛿(𝑞0, 𝑏) = 𝑞1
𝛿(𝑞1, 𝑎) = 𝑞2
𝛿(𝑞1, 𝑏) = 𝑞1
𝛿(𝑞2, 𝑏) = 𝑞1
𝛿(𝑞2, 𝑎) = 𝑞2

Caracterización Identifique los elementos (tupla, estado final, inicial, alfabeto, etc.).
del autómata Debe explicar y describir cada elemento y la función y significado en
parte teórica el autómata.
𝑄 = {𝑞0, 𝑞1, 𝑞2} conjunto de estados finitos
∑ = {𝑎, 𝑏} alfabeto de entrada
𝑆 = 𝑞0 estado inicial del autómata
𝐹 = 𝑞2 conjunto de estados finales
Funciones de transición
𝛿(𝑞0, 𝑏) = 𝑞1
𝛿(𝑞1, 𝑎) = 𝑞2
𝛿(𝑞1, 𝑏) = 𝑞1
𝛿(𝑞2, 𝑏) = 𝑞1
𝛿(𝑞2, 𝑎) = 𝑞2
 Tabla de transiciones

δ a b
>q0 - q1
q1 q2 q1
#q2 q2 q1

Conceptos y definiciones adicionales

Estamos ante un AFD

Lenguaje
𝐿 = {𝑏𝑎, 𝑏𝑎𝑏 ∗ 𝑎, 𝑏𝑎𝑎, 𝑏𝑎𝑎𝑎 ∗, 𝑏𝑎𝑏 ∗ 𝑎𝑎, … }
Regular
Validación de Cinco cadenas validas
cadenas

ba

baaaa
babbbba

bababa

babbbaaaba
 Cinco cadenas NO validas

ab

bab

bbbb
 a

baabab
Practicar y Explique de una secuencia de una cadena valida, paso a paso.
verificar lo
aprendido

Evaluaremos la cadena babbbba

Inicialmente con el carácter b, el cual lleva del esta inicial q0 al
estado q1, vemos que es valido, lo que permite cumplir con la
condición inicial que solicita que la cadena debe iniciar por “ba”

El automata continua validando la cadena con el carácter “b”, lo

cual cumple la concición inicial y llegando al estado final q2,
validando esta como la primer cadena permitida para este
automata.
Siguiendo con el carácter “b”, lo que hace que se regrese a un
estado anterior, e impidiendo de esta manera caer en un estado
final, toda vez que las cadenas deben terminar solo en “a”

Nuevamente se evalua un carácter “b”, lo que hace que caiga en el

mismo estado q1 o un bucle del carácter “b”, para evaluarlo
cuantas aparezca de manera consecutiva en la cadena y sin caer en
un estado final.
Se repite la condición del paso anterior

Se repite la condición del paso anterior

Finalmente, después de hacer todo el recorrido de la cadena, se
evalúa el ultimo carácter “a”, lo cual permite ir al estado final q2 y
así se establece esta como una cadena valida.