Contextvrije grammatica is formele grammatica; de syntaxis of structuur van een formele taal kan worden beschreven met behulp van contextvrije grammatica (CFG), een soort formele grammatica. De grammatica bestaat uit vier tupels: (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.>

Er wordt gezegd dat een grammatica de contextvrije grammatica is als elke productie de vorm heeft van:

G ->(V∪T)*, waarbij G ∊ V>

• En de linkerkant van de G, hier in het voorbeeld, kan alleen een variabele zijn, het kan geen terminal zijn.
• Maar aan de rechterkant kan het een Variabele of Terminal zijn, of beide combinaties van Variabele en Terminal.

Bovenstaande vergelijking stelt dat elke productie die een combinatie van de ‘V’-variabele of’ T’-terminal bevat, een contextvrije grammatica is.

De grammatica A = { S, a,b, P,S} heeft bijvoorbeeld de volgende productie:

• Hier is S het startsymbool.
• {a,b} zijn de terminals die doorgaans worden weergegeven door kleine karakters.
• P is variabel samen met S.

S->aS S-> bSa>

Maar

a->bSa, of a->ba is geen CFG, aangezien er aan de linkerkant een variabele is die de CFGs-regel niet volgt.>

Op het gebied van de informatica worden contextvrije grammatica's vaak gebruikt, vooral op het gebied van de formele taaltheorie, de ontwikkeling van compilers en de verwerking van natuurlijke taal. Het wordt ook gebruikt voor het uitleggen van de syntaxis van programmeertalen en andere formele talen.

Beperkingen van contextvrije grammatica

Afgezien van al het gebruik en het belang van contextvrije grammatica in het compilerontwerp en op het gebied van de informatica, zijn er enkele beperkingen die worden aangepakt, dat wil zeggen dat CFG's minder expressief zijn en dat noch Engels, noch programmeertaal kan worden uitgedrukt met behulp van contextvrij Grammatica. Contextvrije grammatica kan dubbelzinnig zijn, wat betekent dat we meerdere ontleedbomen van dezelfde invoer kunnen genereren. Voor sommige grammatica's kan contextvrije grammatica minder efficiënt zijn vanwege de exponentiële tijdscomplexiteit. En de minder nauwkeurige foutrapportage, aangezien het foutrapportagesysteem van CFG niet zo nauwkeurig is dat meer gedetailleerde foutmeldingen en informatie kan worden gegeven.