Un diagrama ASM se compone de una interconexión de los tres tipos de elementos básicos: los

estados, los controles condición, y salidas condicionales. Un estado de ASM, representada como
un rectángulo, corresponde a un estado de un diagrama de estado regular o máquina de estados
finitos. El nombre del estado se indica fuera de la caja en la esquina superior izquierda. El Moore
tipo de productos se enumeran dentro de la caja.

Una condición de verificación de ASM, indicado por un diamante con una entrada y dos salidas (de
verdadero y falso), se utiliza para la transferencia condicional entre dos estados o entre un Estado
y una salida condicional. El cuadro de decisión contiene la expresión condición establecida para la
prueba, la expresión contiene una o más entradas de las FSM.