Zaslat SMS: Máquinas y diagramas lógicos