Maquinas De Estados

“Máquinas de Estados”
Objetivo
El objetivo es probar mediante una simulación que las maquinas de estados funcionen correctamente con el circuito previamente diseñado empleando mapas k, diseños deestados y tablas de verdad ya que a través de las simulaciones se puede ver el funcionamiento de una maquina sin el inconveniente de su implementación para su simple observación, o como método deplanteamiento y revisión antes de probarlo en un circuito real; y así después de hacer la simulación en proteus y verificar que en efecto el circuito cumpla con el objetivo implementar el circuito en elprotoboard.
MARCO TEÓRICO

Máquinas de Estado Finito (MEF)

Una MEF es una lógica matemática. Es esencialmente un programa de computadora: representa una secuencia de instrucciones a serejecutadas, donde cada instrucción depende del estado actual de la máquina y del actual estimulo. Las posibles entradas al sistema son una secuencia de símbolos seleccionadas desde un conjunto finito I desímbolos de entrada, y las salidas resultantes son secuencias de símbolos escogidas desde un conjunto finito Z de símbolos de salida. Cualquier ''caja negra'' que produce un símbolo de salida cuandoun símbolo de entrada es aplicado y que satisface las propiedades anteriormente mencionadas es llamada Máquina Secuencial o Transductor Finito. La selección de un conjunto de estados para representaruna máquina dada no es un proceso único, esto no es una limitación muy seria, ya que el principal objetivo es describir el comportamiento general entrada-salida de la máquina en vez de su construcción.Representación de Estado Finito
Formalmente, una MEF es una 5-tupla : M = (Q, I, Z, s, o) Donde: Q es el conjunto de estados; I es el conjunto de símbolos de Entrada; Z el conjunto de símbolos desalida; s(QxI)->Q es la función de estado siguiente; o(QxI)->Z es la función de salida siguiente. El comportamiento de una MEF es descrito como una secuencia de eventos que ocurren en...