Autómatas, Gramáticas y Lenguajes Formales de segona mà