Así como cualquier gramática formal, una gramática libre de contexto puede ser definida mediante la 4-tupla: