Prueba

Las máquinas de estado finitos son: modelos de comportamiento de un sistema o un objeto complejo, con un número limitado de modos o condiciones predefinidos, dondeexisten transiciones de modo. modelo matemático que realiza computos de forma automática sobre una entrada para producir una salida.

Modelo que posee sintaxis y semánticaformales y que sirve para representar aspectos dinámicos que no se expresan en otros diagramas. una herramienta muy útil para especificar aspectos relacionados con tiemporeal, puede ser electrónico o computacional o de otro tipo como circuitos, arquitecturas de software, etc.

Una maquina de estado finito se compone de un número finitode estados y transiciones entre los estados. Las máquinas de estado finito se descirben como: M = ( S,∑, A , sk) Donde S = {s 1 , s 2 , ….,s m } es un conjunto finito denodos ∑ es un alfabeto infinito de etiquetas A es un conjunto de aristas etiquetadas que unen los nodos sk es el estado inicial

Los nodos representan los posiblesestados. Las etiquetas representan eventos que provocan un cambio. Las aristas determinan de qué manera cada estado, dado un evento, se dirige a otro estado.

Cuandodescribimos la máquina en palabras es similar a cuando realizamos el algoritmo de un programa, hay que escribir en detalle todo lo que queremos que realice esta máquina sinobviar comandos o decisiones que debe tomar.

El diagrama es una parte importante ya que este nos ayudará a entender las funciones de la máquina de estado finito quequeremos construir. El diagrama que dibujemos debe contener todas las posibles entradas y salidas que nuestra máquina tiene o sea estados y valores que va ha realizar.