SMS dit: Controladores lógicos y autómatas programables