Un lenguaje formal es libre de contexto si hay una gramática libre de contexto que lo genera.