Autómatas y lenguajes formales

Tarea 2 Diseño de Autómatas

Nombre del estudiante:

LUIS CAMACHO
Código: 1095805977

Grupo: 301405_7

Tutor:
ANYELO QUINTERO

Universidad Nacional Abierta y a Distancia UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería
Ingeniería de Sistemas
Marzo de 2024
Ejercicio Grupal: Construir autómata
Elabore el autómata para el siguiente lenguaje sobre el alfabeto {a,b}:
L = {a, b, ba, aaa, bbb, baaba } sobre {a,b}
Rechaza cadenas como:
ababab, bababa, abbbbb, bbabbb, bab, abab
Deben diligenciar la siguiente información:

EJERCICIO A
TRABAJAR

Caracterización En este espacio se realiza:

del autómata - Identificación de la quíntupla
Q (Conjunto de estados): {q0, q1, q2, q3}
Σ (Alfabeto de entrada): {a, b}
δ (Función de transición): La función de transición se
puede representar de la siguiente manera:
δ(q0, a) = q1
δ(q0, b) = q0
δ(q1, a) = q2
δ(q1, b) = q1
δ(q2, a) = q3
δ(q2, b) = q1
δ(q3, a) = q3
δ(q3, b) = q3
s (Estado inicial): q0
F (Conjunto de estados finales): {q3}
- Plasme la tabla de transición

- Identificación del Autómata Finito Determinista

o Autómata Finito No Determinista

Este autómata es un Autómata Finito

Determinista. La razón principal es que, para cada
estado y símbolo de entrada en la tabla de
transición, hay una única transición definida. En
otras palabras, no hay ambigüedad en las
transiciones; el autómata se mueve de un estado
a otro de manera determinista.

- Explicar las características del tipo de

autómata

Determinismo: Para cada par de estado y símbolo

de entrada, hay una única transición definida. Por
ejemplo, si el autómata está en el estado q1 y lee
'a', siempre se moverá al estado q2, sin ninguna
opción adicional.

Conjunto de Estados Finales: El conjunto de

estados finales se compone de un conjunto bien
definido de estados: {q3}. No hay ambigüedad en
cuanto a qué estados son finales.

Alfabeto de Entrada: El alfabeto de entrada se

 especifica claramente como {a, b}, lo que significa
que el autómata solo acepta entradas de estos dos
símbolos.

Caracterización Conjunto de Estados (Q): El conjunto de

del autómata estados, denotado como Q, es un conjunto finito
parte teórica que representa todos los estados posibles en el
autómata. Cada estado representa un "estado" en
el comportamiento del autómata, es decir, una
situación en la que puede encontrarse durante la
ejecución.
Alfabeto de Entrada (Σ): El alfabeto de entrada,
denotado como Σ, es un conjunto finito de símbolos
que pueden ser procesados por el autómata. Cada
símbolo del alfabeto de entrada representa una
entrada que puede ser consumida por el autómata
durante su funcionamiento.
Función de Transición (δ): La función de
transición, denotada como δ, define cómo el
autómata cambia de estado en respuesta a la
entrada. Es una función que toma un estado actual
y un símbolo de entrada y devuelve el próximo
estado al que el autómata debe moverse. En otras
palabras, especifica las reglas de transición del
autómata.
Estado Inicial (s): El estado inicial, denotado
como (s), es el estado desde el cual el autómata
comienza su ejecución. Representa el punto de
partida del autómata cuando se le proporciona una
entrada.
Conjunto de Estados Finales (F): El conjunto de
estados finales, denotado como F, es un
subconjunto del conjunto de estados Q. Representa
los estados en los que el autómata debe estar al
final de la ejecución para que la entrada se
considere aceptada. Si el autómata termina en uno
de estos estados, la entrada se considera válida
según el lenguaje definido por el autómata.
Tabla de Transición: La tabla de transición es una
representación tabular de la función de transición δ.
Muestra todas las transiciones posibles para cada
combinación de estado actual y símbolo de entrada.
Facilita la visualización y comprensión de cómo el
autómata cambia de estado en función de la
entrada.
Lenguaje Aceptado: El lenguaje aceptado por el
autómata es el conjunto de todas las cadenas de
entrada que el autómata puede procesar y que
 terminan en uno de los estados finales. El lenguaje
aceptado es una representación de las entradas
que cumplen con las reglas definidas por el
autómata.

Lenguaje LR = {a^n b | n ≥ 0}
Regular

Validación de - aceptadas: (abaa), (bababaa), (abbabbaaab),

cadenas (bbabbabbaaab), (aabbaa)
- rechazadas (bbababa), (babbabb), (aabbabba),
(bbabbabbabb), (bbabbabba)
Practicar y
verificar lo
aprendido - Muestre en el simulador JFLAP (Anexo 1 - JFLAP)
o VAS (Anexo 2- VAS) (gráficamente) como recorre
una cadena válida. Explique cada secuencia. (No se
trata solo de captura las
imágenes, estas deben ser explicadas en pie de
página o de lo contrario no tienen validez)

explicare cada paso en transición como aparece

enumerado en la imagen
paso1: q0b->q0
paso2:q0b->q0
paso3:q0a->q1
paso4:q1b->q1
paso5:q1a->q2
paso6:q2b->q1
paso7:q1a->q2
paso8:q2a->q3
 Bibliografía

Sipser, M. (2012). "Introduction to the Theory of Computation." Cengage Learning.

Hopcroft, J. E., Motwani, R., & Ullman, J. D. (2006). "Introduction to Automata

Theory, Languages, and Computation." Pearson Education.