Introducción a la teoría de autómatas, gramáticas y lenguajes de segunda mano