Kontextový jazyk je formální jazyk, který je vygenerovatelný nějakou kontextovou gramatikou. Je to jeden ze čtyř typů jazyků Chomského hierarchie, v praxi se využívá jen zřídka.
Jazyk L = { an : n je prvočíslo } není bezkontextový, ale je kontextový. Lze to ukázat třeba tak, že sestrojíme lineárně ohraničený Turingův stroj, který bude L rozpoznávat.
- Průnik, sjednocení a zřetězení dvou kontextových jazyků je kontextový jazyk.
- Doplněk kontextového jazyka je kontextový jazyk.
- Každý bezkontextový jazyk je kontextový.
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
