私は自分のコンピューティング言語テストのために勉強しています。頭を回すのに問題があるという考えがあります。
通常の文法はより単純で曖昧さを含むことはできないが、プログラミング言語に必要な多くのタスクを実行することはできないことを理解しました。また、文脈自由文法は曖昧さを許容しますが、プログラミング言語に必要ないくつかのもの（パリンドロームなど）を許容することも理解しました。
私が問題を抱えているのは、通常の文法の非端末が端末または非端末の後に端末が続くか、コンテキストフリーの非端末が端末と非端末の任意の組み合わせにマッピングできることを知ることで、上記のすべてをどのように導出できるかを理解することです。。
誰かが私がこれをすべてまとめるのを手伝ってくれる？
回答:
通常の文法は右または左の線形ですが、文脈自由文法は基本的に終端と非終端の任意の組み合わせです。したがって、通常の文法は文脈自由文法のサブセットであることがわかります。
たとえば回文の場合、形式は次のとおりです。
S->ABA
A->something
B->something
パリンドロームは通常の文法では表現できないことを明確に見ることができます。これは、パリンドロームが右または左の線形である必要があるため、両側に非終端記号を付けることができないためです。
通常の文法はあいまいではないため、特定の非終端記号に対して生成規則は1つしかありませんが、文脈自由文法の場合は複数存在する可能性があります。
A-> a | cと想像するとB->b、この文法は非パリンドロームを許可します。たとえば、以下を作成できますS->ABA->aBA->abA->abc。問題は、最初のルールで2つの変数を生成するのではなく、2つの端子を生成することです。回文を可能に文法の可能性がある：S -> aSa | bSb | a | b
S -> aSa | eとa(aa)*aの両方が正規言語を記述します。これは、CFGが左または右の直線性に違反している場合でも、通常の言語を記述できることを示しています。確かに、これはそれほど明白ではない回文です..
あなたが考えたいのは、さまざまなポンピング補題です。通常の言語は有限オートマトンで認識できます。文脈自由言語にはスタックが必要であり、文脈依存言語には2つのスタックが必要です（これは、完全なチューリングマシンが必要であると言うのと同じです）。
したがって、通常の言語のポンプ補題について考えると、基本的に、通常の言語はx、y、zの 3つの部分に分解でき、言語のすべてのインスタンスはxy * zにあります。（*はKleeneの繰り返し、つまりyの 0以上のコピーです。）基本的に、展開できる「非終端」が1つあります。
では、文脈自由言語についてはどうでしょうか？言語の文字列をuvxyzの 5つの部分に分割し、言語のすべてのインスタンスが存在するコンテキストフリー言語には、類似したポンプレンマがあります。 uv i xy i zにある。これで、2つの「非終端「同じ数を持っている限り、複製またはポンピングできます。
通常の文法と文脈自由文法の違い： （N、Σ、P、S）：端末、非端末、生成、開始状態端末記号
●正式な文法で定義された言語の基本記号
●abc
非終端記号（または構文変数）
●プロダクションルールに従って端子シンボルのグループに置き換えられます
●ABC
通常の文法：右または左の通常の文法右の通常の文法、すべてのルールはフォームに従います
通常の文法を残し、すべてのルールはフォームに従います
文脈自由文法（CFG）
○すべてのプロダクションルールがV→wの形式である正式な文法
○Vは単一の非終端記号です
○wはターミナルおよび/または非ターミナルの文字列です（wは空でもかまいません）。
通常の文法：-次のようにプロダクションを含む文法はRGです。
V->TV or VT
V->T
ここで、V =変数、T =端子
RGは、Left Linear GrammarまたはRight Liner Grammarですが、Middle linear Grammarではありません。
RGはすべて線形文法ですが、RGは左線形または右線形文法のみです。
通常の文法があいまいな場合があります。
S->aA|aB
A->a
B->a
あいまいな文法：-文字列xに対して、それらは複数のLMDまたは複数のRMDまたは複数の解析ツリーまたは1つのLMDと1つのRMDが存在しますが、両方が異なる解析ツリーを生成します。
S S
/ \ / \
a A a B
\ \
a a
2つの構文解析木があるため、この文法は曖昧な文法です。
CFG：- プロダクションが次の形式の場合、CFGと呼ばれる文法：
V->@ where @ belongs to (V+T)*
DCFL： -すべてのDCFLはLL（1）文法であり、すべてのLL（1）はLR（1）であるため、あいまいになることはありません。したがって、DCFGがあいまいになることはありません。
また、すべてのRLはDCFLであるため、RLがあいまいになることはありません。RGがあいまいかもしれませんが、RLはあいまいでないことに注意してください。
CFL： CFlがあいまいかもしれません。
注： RLは本質的に曖昧になることはありません。
すべてのプロダクションルールの形式がAの場合、文法はコンテキストフリーです（つまり、ルールの左側は単一の変数のみで、右側は無制限で、ターミナルと変数の任意のシーケンスにできます）。文法を4タプルとして定義できます。ここで、Vは有限集合（変数）、_は有限集合（終端）、Sは開始変数、Rは有限集合の規則であり、それぞれがマッピングです。 Vの
通常の文法は右または左の線形ですが、文脈自由文法は基本的に終端と非終端の任意の組み合わせです。したがって、通常の文法は文脈自由文法のサブセットであると言えます。これらのプロパティの後、Context Free Languagesセットには通常の言語セットも含まれていると言えます
通常の文法は、左線形または右線形のいずれかであるため、あいまいになることはありません。通常の文法では2つの決定木を作成できないため、常に明確です。
