În informatică și lingvistică, o gramatică context-free (gramatica context-free sau CFG) este o gramatica formală, în care fiecare regulă este exprimat în formă de derivare sintactică a unui simbol la stânga de la una sau mai multe simboluri de pe dreapta. Ea poate fi exprimată cu două simboluri echivalente (denumite în continuare vor fi folosite conform simbolismul): V :: = w V → W în cazul în care V este un simbol neterminal și w este o secvență de simboluri terminale și non-terminale.Termenul "liber de context" (context liber) se referă la faptul că neterminal simbol V poate fi întotdeauna înlocuit cu w, indiferent de simbolurile care preced sau urma. Un limbaj formal se spune la context-free în cazul în care există o gramatică context-free pe care le generează. Gramaticile context-free sunt suficient de puternice pentru a descrie sintaxa de cele mai multe limbaje de programare, în același timp, sunt destul de simple pentru a permite o analiză foarte eficient. Notație formală de Backus-Naur (BNF), sintaxa este mai frecvent folosit pentru a descrie gramatici context-free. Nu toate limbile oficiale sunt context-free - un contraexemplu cunoscut este următoarea \ {a ^ nb ^ nc ^ n: n \ ge 0 \}. Acest limbaj special, pot fi generate de o analiză gramatica de expresie, un relativ nou formalism în special ca urmare a limbajelor de programare.