Contextvrije

Elke reguliere taal is ook een contextvrije taal en elke contextvrije taal ook een contextsensitieve.

Dat wil zeggen: als een contextvrije en een reguliere taal is, dan is een contextvrije taal.

In de theoretische informatica is een contextvrije taal een formele taal die door een contextvrije grammatica gegenereerd wordt.

Pomplemma voor contextvrije talen Stel dat L een contextvrije taal is.

Contextvrije kunst bestaat niet, er was altijd een doel, en alles is interpretatie van iemand met een eigen context.

Een veelgebruikte manier om dit op te lossen is om de regels van de contextvrije grammatica parametriseerbaar te maken, waarbij de parameters de bedoelde overeenkomst kunnen uitdrukken.

Als we nemen zijn reguliere grammatica's een speciaal geval van een contextvrije grammatica in Greibach normaalvorm.

Dat wil zeggen dat stapelautomaten even krachtig zijn als contextvrije grammatica 's.

De standaard versie van CYK herkent talen gedefinieerd door contextvrije grammatica's die in Chomsky-normaalvorm zijn.

Dit maakt het één van de meest efficiënte algoritmes voor het herkennen van contextvrije talen qua tijdscomplexiteit.

Er bestaan echter contextvrije talen die slechts door ambigue grammatica's gegenereerd worden; zulke talen worden inherent ambigu genoemd.

Als dat zo is, dan wordt een syntaxisboom opgebouwd volgens een lijst met contextvrije verwijzingen.

Bij syntax-directed translation worden aan de terminale en niet-terminale symbolen van een contextvrije grammatica een of meerdere attributen (eigenschappen) toegekend.

Er zijn echter wel andere algoritmes die nog beter presteren om bepaalde deelgroepen van de contextvrije talen te herkennen.

Het is eveneens mogelijk om het bovenstaande algoritme uit te breiden zodate het strings kan parseren door middel van gewogen en stochastische contextvrije grammatica's.

In de Chomskyhiërarchie zitten de contextvrije talen tussen de reguliere en contextsensitieve talen in.