La notación más frecuentemente utilizada para expresar gramáticas libres de contexto es la forma Backus-Naur.