Álgebra de la Lógica Positiva.

Los nombres de las acciones del desencadenador de salida (acciones de entrada, las acciones de salida, las acciones de entrada o las acciones de transición).

Álgebra lógica positiva

Para construir un estado de virtual utilizando los nombres de entrada de las operaciones booleanas AND y OR se les permite. El operador NOT no es posible porque los nombres de entrada no puede ser negada, aun cuando al parecer, describirlos valores booleanos. Simplemente existen o no.

Modelo de Ejecución VFSM

Diagrama de flujo Ejecutor VFSM

Un subconjunto de todos los nombres definidos de entrada, que sólo pueden existir en una situación determinada, se conoce como la entrada virtual (VI). Por ejemplo, la temperatura puede ser "demasiado bajo", "buena" o "demasiado alto". Aunque hay tres nombres de entrada definidos, sólo uno de ellos puede existir en una situación real. Este se construye el VI.Un subconjunto de todos los nombres definidos de salida, que sólo pueden existir en una determinada situación se conoce como salida virtual (VO). VO se construye por la acción de corriente (s) de la VFSM. La especificación de la conducta se construye una tabla de estado que describe todos los detalles de un solo estado de la VFSM.El ejecutor VFSM se desencadena por VI y el estado actual de la VFSM. En consideración de la especificación comportamiento del estado actual, el VO se establece.La figura 2 muestra una posible implementación de un ejecutor VFSM. Basándose en esta aplicación unas características de comportamiento típicas deben ser considerados.