Ejercicio Grupal

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería – ECBTI

Tarea 2 – Diseño de Autómatas
301405 – Autómatas y Lenguajes Formales
TAREA 2 – DISEÑO DE AUTÓMATAS

301045 – AUTÓMATAS Y LENGUAJES FORMALES
Presentado por:
MAURICIO MEJÍA Cod: 94151131
CARLOS ANDRÉS LEAL R. Cod: 94357405
MILLER IVAN TORRES CHARRY Cod: 76330016
Grupo: 301405_26
Presentado a la tutora:
Helena Clara Isabel Alemán
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
ECBTI
Programa de INGENIERÍA DE SISTEMAS
CEAD Palmira
Septiembre de 2022
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 la quíntupla del
formal del autómata creado.
autómata M = {Q , Σ, δ , S , F }
minimizado Donde:
Q={q 0 , q 1 , q 2 } conjunto de estados finitos
∑={a ,b } alfabeto de entrada
S=q 0 estado inicial del autómata
F=q 2 conjunto de estados finales
M = { { q 0 , q 1 ,q 2 } , { a , b } , δ ,q 0 ,{q 2 }}
Funciones de transición
δ ( q 0 , b )=q 1
δ ( q 1, a )=q 2
δ ( q 1, b )=q 1
δ ( q 2 ,b )=q 1
δ ( q 2 ,a )=q 2
Caracterización Identifique los elementos (tupla, estado final, inicial, alfabeto, etc.). Debe explicar y
del autómata describir cada elemento y la función y significado en el autómata.
parte teórica Tupla: en una lista ordenada de elementos.
Quíntupla: lista ordenada de 5 elementos
Q={q 0 , q 1 , q 2 } conjunto de estados finitos: se relacionan los estados del autómata.
∑={a ,b } alfabeto de entrada: es el conjunto de palabras del alfabeto.
S=q 0 estado inicial del autómata: es el estado donde inicia el autómata.
F=q 2 conjunto de estados finales: es el estado final del autómata.
Δ: Q x Σ → Q función de transición: son los movimientos de estados de acuerdo con las
entradas del alfabeto.

Tabla de transiciones: es la tabla que muestra donde se moverá un autómata finito.
Lenguaje Para iniciar definimos la gramática del autómata encontrado:

Regular M = { { q 0 , q 1 ,q 2 } , { a , b } , δ ,q 0 , {q 2 } }
Definimos las transiciones entre los estados, así:
q 0=bq 1
q 1=bq 1+aq 2
q 2=aq 2+bq 1+ λ
Esta es una gramática tipo 2, pues cada palabra del alfabeto esa seguida de un estado,
por lo que debemos operar las ecuaciones encontradas según las reglas y propiedades
de la gramática de expresiones regulares de autómatas:
Para iniciar, usamos la propiedad

¿
p=ap+bq=a (bq) en q1
¿
q 1=b aq 2
Luego usamos la misma propiedad en q2:
q 2=a¿ bq 1+ λ
Reemplazo el valor de q1 en q2:
¿ ¿
q 2=a b ( b aq 2 ) + λ
Y aplicando la propiedad distributiva:
¿ ¿
q 2=( a b b a ) q 2+ λ
Volvemos a usar la propiedad de la estrella de kleene, quedando así:
¿ ¿ ¿
q 2=( a b b a)
Reemplazo el valor de q2 en q1:
q 1=b¿ a q 2
¿
q 1=b¿ a ( a¿ b b¿ a )
Ya tenemos las 3 expresiones de tipo 3, por lo que podemos unirlas y simplificando
formamos el Lenguaje regular:
p
L={b b a ( a+ b b a ) ; tal que n , m , p ≥ 0 }
n m
Expresión Regular del Lenguaje del autómata:
E . R .=b b ¿ a(a+ b b¿ a)¿
L={ba , bab∗a , baa ,baaa∗, bab∗aa , … }

Validación de Cinco cadenas validas
cadenas
ba
baaaa
babbbba
bababa
babbbaaaba
Cinco cadenas NO validas

ab
bab
bbbb
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 estado 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.

Ejercicio Grupal

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Ejercicio Grupal

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería – ECBTI

TAREA 2 – DISEÑO DE AUTÓMATAS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

EJERCICIO GRUPAL: CONSTRUIR AUTÓMATA

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

entradas del alfabeto.

Lenguaje Para iniciar definimos la gramática del autómata encontrado:

Para iniciar, usamos la propiedad

Expresión Regular del Lenguaje del autómata:

E . R .=b b ¿ a(a+ b b¿ a)¿

L={ba , bab∗a , baa ,baaa∗, bab∗aa , … }

Cinco cadenas NO validas

Evaluaremos la cadena babbbba

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

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

También podría gustarte