Kontextová gramatika
kontextová gramatika je formální gramatika G = (N, a Sigma;, P, S) takový to všechna pravidla v P být formy- a alpha;a beta; - > a alpha; a gama; a beta;
- S - > a epsilon;
Adjektivum kontext citlivý je vysvětlen a alpha; a a beta; ta forma pak kontext a stanovit zda moci být nahrazen s a gama; nebo ne. Toto je různé od kontext-uvolnit gramatiku kde kontext nonterminal není zaujatý do uvažování. formální jazyk to může být popsané kontextovou gramatikou je nazýván kontextovým jazykem.
Pojetí kontextové gramatiky bylo představeno Noam Chomsky v padesátých létech jak způsobu, jak popisovat syntax přirozeného jazyka kde to je opravdu často případ to slovo smět nebo smět ne být přiměřený na jisté místo záviset na kontextu.
Další definice kontextových gramatik definuje je jako formální gramatiky s omezením, které pro všechny vládne a alpha; - > a beta; v P to si myslí, že | a alpha; | a le; | a beta; | kde | a alpha; | je délka a alpha;. Takový gramatika je také nazývána gramatikou noncontracting , protože žádný z pravidel sníží velikost řetězce, který je přepsán.
Zatímco noncontracting gramatiky jsou odlišné od těch kontextových, dva být téměř ekvivalentní v pocitu, že oni definují stejnou třídu jazyků (kromě toho gramatiky noncontracting nemohou tvořit nějaký jazyk, který obsahuje prázdný řetězec a epsilon;). Ale jestliže formální jazyk L moci být popisován gramatikou první definice pak je gramatika noncontracting, která popíše L - {a epsilon;}, a versa zlozvyku.
problém rozhodnutí to se zeptá zda jistý řetězec s patří k jazyku jisté kontextové gramatiky G, je PSPACE-kompletní. Opravdu, tam být dokonce některé kontextové gramatiky jehož fixovaný gramatický rozpoznávací problém je PSPACE-kompletní.
Viz též: Chomsky hierarchie