Veamos un ejemplo, como si la Mquina fuera una "caja negra":
En la Mquina de la figura anterior supondremos, para ejemplificar, que si la entrada
es una a, y el estado actual fuese B, la salida sera un 0. Sin embargo, si el estado actual fuese D, por ejemplo, la salida podra ser 1, an con la misma entrada a. Se recalca que se emplea este modelo para SIMULAR todos aquellos sistemas en los que la salida no es funcin exclusiva de la entrada, sino tambin de un estado o situacin actual implcita en el mismo.
EJEMPLOS SENCILLOS DE APLICACIONES DE MQUINAS DE ESTADO FINITO:
1 Mquina para venta de refrescos. Ya que el estado actual (cantidad de dinero que se ha depositado en ella) junto con la entrada actual (la moneda que se est depositando en cada momento) determinan la salida que el aparato entrega (nada, cambio, refresco, refresco y cambio). La misma moneda produce diferentes salidas. 2 Cajero automtico. Ya que la entrada (tarjeta, NIP, botn) debe combinarse con una correcta serie de transiciones por los estados (espera usuario, espera NIP, espera requisicin de servicio, etc.) para que se pueda obtener la salida deseada (billetes, impresiones de estado de cuenta, etc.). La entrada "solicito $100" en el estado "espera NIP" no produce el efectivo requerido. 3 Circuitos secuenciales digitales. Ya que en los circuitos de este tipo, es necesario conocer el potencial o voltaje que guardan ciertos puntos dentro de los mismos (es decir, los estados) para que en combinacin con los valores de los bits de entrada, se conozcan los de salida. En un simple flip-flop, se requiere de conocer el estado del mismo para saber qu salida presenta. 4 Juegos de combate. Al simular una pelea, se debe considerar que las entradas (golpes, agresiones, recuperaciones) en combinacin con el estado (nivel de energa del peleador) determinan el efecto que se manifestar como salida (tambalearse, caerse, cansarse, ser noqueado, etc.).