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.