Kontekstno neovisni jezik

Kontekstno neovisni jezik (rjeđe još i kontekstno slobodni jezik ili jezik neovisan o sadržaju, te još i bezokolinski jezik^[1]) je formalni jezik koji je element skupa jezika kojeg definiraju kontekstno neovisne gramatike. Skup kontekstno neovisnih jezika je identičan skupu jezika koje prihvaćaju potisni automati.

Primjeri

Kanonski primjer kontekstno neovisnog jezika jest $L = {a^{n} b^{n} : n \geq 1}$ , jezik svih nepraznih nizova znakova (simbola) parne duljine, čiju prvu polovicu čine znakovi $a$ , dok drugu polovicu čine znakovi $b$ . $L$ generira gramatika $S \to a S b | a b$ te prihvaća potisni automat $M = ({q_{0}, q_{1}, q_{f}}, {a}, {a, b, z}, δ, q_{0}, {q_{f}})$ gdje je funkcija prijelaza $δ$ definirana na sljedeći način:

$δ (q_{0}, a, z) = (q_{0}, a)$
$δ (q_{0}, b, a x) = (q_{1}, x)$
$δ (q_{1}, b, a x) = (q_{1}, x)$
$δ (q_{1}, b, b z) = (q_{f}, z)$

Kontekstno neovisni jezici imaju mnoge primjene u programskim jezicima; na primjer - jezik svih pravilno uparenih zagrada generira gramatika $S \to S S | (S) | λ$ . Također, većinu aritmetičkih izraza mogu generirati kontekstno neovisne gramatike.

Svojstva zatvorenosti

Kontekstno neovisni jezici su zatvoreni nad sljedećim operacijama. To jest, ako su L i P kontekstno neovisni jezici i D je regularni jezik, sljedeći jezici su također kontekstno neovisni: