Este documento presenta un ejercicio sobre gramáticas formales. Se define una gramática G y se pide: a) identificar el tipo de G en la jerarquía de Chomsky, b) determinar el lenguaje generado por G, c) construir árboles de derivación para una palabra en el lenguaje, y d) comprobar si ciertas cadenas son válidas en G y proveer derivaciones.