Proyecto 2 Automatas Finitos

Integrantes:
- Laura Traslaviña
- Camilo Espinosa.
- Miguel Suares.
- FedericoRodriguez.

Diagrama UML

Secuencia
Estado.

Un autómata finito determinístico está conformado por un alfabeto, un conjunto de

estados finito, una función de transición, un estado inicial y un conjunto de estados
finales.
En este caso definimos el alfabeto de nuestro autómata que está compuesto por los
símbolos +, -, E, @, _, las letras de la “a” a la “z” y los dígitos del 1 al 9.
Los conjuntos de estado finito que son INICIO, EST1, EST2, ENTERO, REAL, EST3,
EST4, NOTACION E, EST5, EST6, EST7, EST8, EST9, EST10, EST11, EST12,
EST13, EST14 y EST15, en los cuales se determina si la cadena es aceptada o no a
medida que va recorriendo cada símbolo
Las funciones de transición son los métodos que usamos en el Modelo, estas establecen
el cambio entre un estado a otro y cada una está compuesta por los caracteres del
alfabeto definido previamente
El estado inicial es el establecimos en el primer case del Controlador el cual consulta si
existe una transición de INICIO con el primer símbolo de la cadena a otro estado
Por último, los estados finales que son los que definimos como ENTERO, REAL,
NOTACION E, CORREO los cuales indican que si la cadena se detiene en alguno de
esos estados es un estado de aceptación y por lo tanto pertenece al lenguaje reconocido
por el autómata.