Este documento define conceptos básicos de lenguajes formales, incluyendo alfabetos, gramáticas formales, fórmulas bien formadas y lenguajes formales. Luego, presenta tres ejercicios relacionados con la unión y concatenación de lenguajes formales y la obtención de cadenas palíndromas.