Obsah

Klasifikace gramatik, formálních jazyků a automatů přijímajících jazyky

Základní pojmy

Gramatika

Gramatika G = (N, Σ, P, S)

Chomského hierarchie klasifikace gramatik

Klasifikace je definována podle tvaru přepisovacích pravidel příslušných gramatik

Platí: L₃ ⊂ L₂ ⊂ L₁ ⊂ L

Typ 0 – obecné (neomezené) gramatiky

Unrestricted grammar

Typ 1 – kontextové gramatiky

Context-sensitive grammar

Typ 2 – bezkontextové gramatiky

Context-free grammar

Typ 3 – pravé/levé linární gramatiky

Regular grammar

Speciální podtypy gramatik

Pravé/levé regulární gramatiky

Stejné jako 3, ale xΣ (bez *).

Lineární gramatiky

Podmnožina gramatik typu 2

Deterministické bezkontextové gramatiky

Podmnožina typu 2, jazyky příjamné deterministickým zásobníkovým automatem.

Rekurzivní gramatiky

Podmnožina typu 0. Přijímají je úplné TS (TS, které pro každý vstup rozhodnou – nikdy necyklí).

Všechny kontextové jazyk jsou rekurzivní, ale ne všechny rekurzivní jazyky jsou kontextové.