Defina uma Gramática Livre de Contexto, formalizada na notação de Backus-Naur (BNF), capaz de gerar a linguagem L = { anbmcn | n > 0 e m ≥ 0}. Em sua resposta, apresente o conjunto completo de regras de produção e identifique claramente o símbolo inicial da gramática.
G = ({X, Y}, {a, b, c}, P, X)
P = {X → a X c | a Y c
Y → b Y | ε}