SMS: Problemas resueltos de máquinas síncronas