Contextvrij

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.

We bewijzen uit het ongerijmde dat L niet contextvrij is.

Dit soort formele grammatica's worden contextvrij genoemd omdat ze toegepast kunnen worden ongeacht de context waarin het niet-terminale symbool V zich bevindt.

De taal is contextvrij maar niet regulier.

Dit soort formele grammatica's worden contextvrij genoemd omdat de manieren waarop een niet-terminaal symbool herschreven kan worden onafhankelijk zijn van de context waarin het zich bevindt.

We beginnen met te veronderstellen dat L wel contextvrij is en dat de pomplengte voor de taal n is.