Kontextfri grammatik är formell grammatik, syntaxen eller strukturen i ett formellt språk kan beskrivas med hjälp av kontextfri grammatik (CFG), en typ av formell grammatik. Grammatiken har fyra tuplar: (V,T,P,S).

V - It is the collection of variables or nonterminal symbols. T - It is a set of terminals.  P - It is the production rules that consist of both terminals and nonterminals. S - It is the Starting symbol.>

En grammatik sägs vara den kontextfria grammatiken om varje produktion är i form av:

G ->(V∪T)*, där G ∊ V>

• Och den vänstra sidan av G, här i exemplet kan bara vara en variabel, den kan inte vara en terminal.
• Men på höger sida här kan det vara en variabel eller terminal eller både en kombination av variabel och terminal.

Ovanstående ekvation anger att varje produktion som innehåller valfri kombination av 'V'-variabeln eller 'T'-terminal sägs vara en kontextfri grammatik.

Till exempel grammatiken A = { S, a,b, P,S} som har produktion:

• Här är S startsymbolen.
• {a,b} är terminalerna som vanligtvis representeras av små tecken.
• P är variabel tillsammans med S.

S->aS S-> bSa>

men

a->bSa, eller a->ba är inte en CFG eftersom det på vänster sida finns en variabel som inte följer CFGs regeln.>

Inom det datavetenskapliga området används kontextfria grammatiker ofta, särskilt inom områdena formell språkteori, kompilatorutveckling och naturlig språkbehandling. Det används också för att förklara syntaxen för programmeringsspråk och andra formella språk.

Begränsningar av kontextfri grammatik

Bortsett från alla användningsområden och betydelsen av kontextfri grammatik i kompilatordesignen och datavetenskapsområdet, finns det några begränsningar som tas upp, det vill säga CFG:er är mindre uttrycksfulla, och varken engelska eller programmeringsspråk kan uttryckas med kontextfritt Grammatik. Kontextfri grammatik kan vara tvetydig och innebär att vi kan generera flera parseträd av samma indata. För viss grammatik kan kontextfri grammatik vara mindre effektiv på grund av den exponentiella tidskomplexiteten. Och den mindre exakta felrapporteringen som CFG:s felrapporteringssystem är inte så exakt som kan ge mer detaljerade felmeddelanden och information.