Problema: AnBnPlus (CFG)

Crie uma gramática independente do contexto anbnplusCFG que gere a seguinte linguagem sobre o alfabeto {a,b}:

ⁿ

Formato do input

A sua submissão deve consistir numa declaração de gramática independente do contexto, com o nome pedido.

Para exemplificar, eis a declaração dum outra gramática independente do contexto sobre o mesmo alfabeto:

cfg(abCFG,
    'S',                   % simbolo de partida
    {('S'->[a,'S']),       % produções, uma por linha
     ('S'->['S',b]),
     ('S'->[])
    }
   ).

Repare que a sintaxe aqui exigida é pouco diferente da usada nas aulas. Um conselho: resolva primeiro o problema à maneira das aulas e depois traduza para a sintaxe pretendida.

Por favor, não se esqueça do "ponto" no final da declaração.