SMS: Introducción a la teoría de autómatas, lenguajes y computación