第二章をカーディング、理解し、要約を書きます。
文法：
無限集合の有限を特徴づけるためのツールのセット。ルールは、無限の文を表すために使用される言語で記述された文組成物の構造、と説明します。
文と文：
記号列xが開始記号に由来する場合、文法はX G [S]文と呼ばれています。
xが唯一のターミネータが含まれている場合、xは文法G [S]文と呼ばれています。
言語の文法は、文のコレクションのすべての文法を説明しています。
文法の4種類：
タイプ0文法：α→β、[アルファ]は、少なくとも一つの非終端記号を含みます。
タイプ1の文法（文脈依存文法）：α→β、|β|≥|α|、S→ε除外。
2型文法（CFG）：非終端記号である→βを、。
タイプ3文法（文法仕様）：A→Aまたは→αBは。
文法の4種類が徐々に制限を増やし、それが0文法指定型文法、文法タイプ1、タイプ2の文法である必要があり、文脈自由文法の文法は、タイプ0、タイプ1 ...文法でなければなりません
Canonicalの導出：
右端の導出は右仕様文として指定由来文または文によって導入され、仕様を導出します。
あいまいな文法：
文章は文章は左端/右端導出複数に対応することができる、構文木の複数に対応することができます。
文の文法は、2本の異なる構文木に対応することができた場合は、文法がで曖昧であると呼ばれます。
二つの異なる文法は同じ言語かもしれません。
言語のすべての文法が曖昧であり、この言語固有の曖昧さと主張した場合。
文法があいまいであるかどうかを確認することは、再帰的に解決不可能です。
PL / 0言語の文法を記述するようにしてください。（または、より良い言語規則思います）
整数N
<番号> - > 0 | 1 | 2 ... | 8 | 9
I識別子
I :: = 1 | 2 | 3 | ... | | B | C | D | ...
式e
<式> - > [+ | - ]の<item> {<減算演算子> <用語>}
条件文
その後、Bの場合
割り当て
<代入文> - > <識別子> - > <式>
複合文
- >開始<ステートメント> {、<文>} <終了>
機能
プログラム
...