SMS: Máquinas y diagramas lógicos