Em um diagrama de estados, uma máquina de estados pode ser composta por diversas outras máquinas de estados, denominadas submáquinas. Cada submáquina pode estar relacionada às demais por meio de transições, e as submáquinas podem estar na mesma região ou em diferentes regiões da máquina de estado que as compõe.