Introducción a la teoría de autómatas, gramáticas y lenguajes de segona mà