Para gerar a linguagem L1 = {anbn | n ≥ 0}, podemos construir uma gramática livre de contexto. A ideia é garantir que para cada 'a' que adicionamos, adicionamos um 'b' correspondente. Uma gramática G1 que gera essa linguagem pode ser definida da seguinte forma: 1. Variáveis: S 2. Terminais: a, b 3. Produções: - S → aSb - S → ε 4. Símbolo inicial: S Explicação das produções: - A produção S → aSb permite adicionar um 'a' no início e um 'b' no final, garantindo que o número de 'a's e 'b's seja igual. - A produção S → ε permite que a gramática produza a string vazia, que corresponde ao caso em que n = 0. Portanto, a gramática G1 que gera a linguagem L1 é a que foi descrita acima.