文法
文法Gは、4つのタプル（VN、VT、P、S）のように定義されます
VN：非終端記号セットは、通常、大文字と表される
VT：ターミネーターセットは、通常、小文字で表され、
生産のセット（ルールセット）：P
S：開始記号（識別コード）
ヒント：次の例では、非大文字ターミネータであり、小文字ターミネータを表します。
1.0型文法（句）
G =（VN、VT、P設定 、S） 場合、その製造の各α→β構造である：α∈（VN∪VT）*および少なくとも一つの非含有ターミネーター、及びβ∈（VN∪VT）*が、次いで、Gは0型文法です。0文法を入力文法、これらのタイプの、最も制限の一つであり、私たちは、少なくとも0型文法で、論文に見てきました。
チューリングマシン型文法に0に相当します。
2. 1文法（文脈依存文法）
βは| |> = |α|それは文法0各タイプα→β、そこに基づいています 。ここで|ベータ] |ベータ]は長さを表しています。
1に相当する文法線形拘束オートマトンを入力します。
例：A-> Baのであれば|β| = 2、|α | = 1 を満たすタイプ1文法の要件。逆に、AA->はなく、タイプ1の文法に沿っています。
具体例：α→εを満たす1文法を入力します。
入力3.2文法（CFG）
2型文法タイプは文法に基づくものであり、その後成立：α→βはそれぞれαを有する非終端記号です。A-> Baが、2型文法の要件を満たします。
2文法プッシュダウンオートマトンのタイプに対応しています。
例：AB->バブが非終端記号ではなく、α= AB、Abのためではなく、2型文法要件と、請求項1のライン型文法にかかわらず。A->バブそれまでの
4.3文法タイプ（正規文法）
タイプ2に基づいて文法を満たす：|αB（右直鎖）A→α| A→αBα（左線形）。
有限状態オートマトンに対応した3文法を入力します。
注：タイプ3文法だけ右線形を満たす、または線形左を満たすことができ、同一の両方ではない
例：A-> A、A->αBは 、B-> A、B-> CB、 3に沿って文法の要件を入力します。しかし、のように導出場合：A-> AB、A->αBは 、B-> B-> CB または誘導
として：A-> A-> Baの 、B-> B-> CB ないミート請求項3種類の方法。
https://blog.csdn.net/songsong189/article/details/48768819