チョムスキー階層
チョムスキー階層は以下のレベルから構成される。より一般的には形式言語の階層の記事を参照のこと。
タイプ-0 文法(制限のない文法)は全ての形式文法を包含する。この文法はチューリングマシンが認識できる全言語を生成できる。その言語群は帰納的可算言語(Recursively Enumerable Language)として知られている。これはチューリングマシンが必ず停止して判定可能な帰納言語(Recursive Language)とは異なる。
タイプ-1 文法(文脈依存文法)は文脈依存言語を生成する。この文法は α A β → α γ β {\displaystyle \alpha A\beta \rightarrow \alpha \gamma \beta } という形式の生成規則を持ち、 A {\displaystyle A} は非終端記号、 α {\displaystyle \alpha } と β {\displaystyle \beta } と γ {\displaystyle \gamma } は終端記号と非終端記号から構成される文字列である。