Yhteydetön eli kontekstiton kieli on formaali kieli, jonka tunnistaa jokin pinoautomaatti. Yhteydettömän kielen tuottaa jokin yhteydetön kielioppi.

Yhteydettömillä kielillä on paljon sovelluksia ohjelmointikielissä; esimerkiksi useimmat aritmeettiset lausekkeet voidaan tuottaa yhteydettömillä kieliopeilla.

Esimerkki

Esimerkki yhteydettömästä kielestä on $L\; =\; \backslash \{a^nb^n:n\backslash geq1\backslash \}$ eli kieli, joka sisältää kaikki sellaiset merkkijonot, joissa on ensin tietty määrä merkkejä a ja sen jälkeen saman verran merkkejä b. L:n tuottaa kielioppi $S\backslash to\; aSb\; ~|~\; ab$, ja sen hyväksyy pinoautomaatti $M=(\backslash \{q\_0,q\_1,q\_f\backslash \},\; \backslash \{a\backslash \},\; \backslash \{a,b,z\backslash \},\; \backslash delta,\; q\_0,\; \backslash \{q\_f\backslash \})$ jossa $\backslash delta$ on määritelty seuraavasti::

$\backslash delta(q\_0,\; a,\; z)\; =\; (q\_0,\; a)$

$\backslash delta(q\_0,\; b,\; ax)\; =\; (q\_1,\; x)$

$\backslash delta(q\_1,\; b,\; ax)\; =\; (q\_1,\; x)$

$\backslash delta(q\_1,\; b,\; bz)\; =\; (q\_f,\; z)$

Formaalit kielet

Bezkontextový jazyk | Kontextfreie Sprache | Context-free language | Linguaggio context-free | שפה חופשית הקשר | Język bezkontekstowy | Limbaje independente de context