Contextvrije grammatica

Een contextvrije grammatica is een formele grammatica waarbij alle productieregels de volgende vorm hebben:

${\displaystyle V\rightarrow w}$

waarbij V een niet-terminaal symbool is en w een string, die mogelijk leeg is, met terminale en niet-terminale symbolen. Dit soort formele grammatica's worden contextvrij genoemd omdat de manieren waarop een niet-terminaal symbool kan worden herschreven onafhankelijk zijn van de context waarin het zich bevindt. Contextvrije grammatica's genereren contextvrije talen.

Contextvrije grammatica's worden veel gebruikt bij het beschrijven en ontwerpen van programmeertalen en compilers, waarbij vaak de notatietechnieken Backus-Naur form of EBNF worden gebruikt. Ze worden ook gebruikt voor het analyseren van de zinsbouw (syntaxis) van natuurlijke talen.[1]