Tabla de Estado

Se definen todos los detalles del comportamiento de un estado de un VFSM. Se compone de tres columnas: en los nombres de los estados primeras columnas se utilizan, en el segundo las condiciones virtuales construidas a partir de los nombres de entrada utilizando el álgebra de la lógica positiva y se colocó en la tercera columna aparecen los nombres de salida:

Lea la tabla de la siguiente manera: las dos primeras líneas de definir las acciones de entrada y salida de la situación actual. Las siguientes líneas que no proporcionan el siguiente estado representan las acciones de entrada. Finalmente las líneas que proporcionan el siguiente estado representan las condiciones de transición de estado y acciones de transición. Todos los campos son opcionales. Un VFSM combinatoria pura es posible en caso de que sólo cuando las acciones de que se utilicen, pero no se definen las transiciones de estado. La acción de transición puede ser sustituida por el uso adecuado de otras acciones.