Una gramática libre de contexto para un lenguaje consistente en todas las cadenas que se pueden formar con las letras "a" y "b", habiendo un número diferente de una que de otra, sería: