17/05/03 23:27:43.76 AGrCBSz0.net
>>192
Pascalの構文は再帰的パーサを簡単に書けるLL(1)文法なんじゃなかったかな
LL(1)ならトップダウンで構文解析できるからパーサは書きやすいしパーサの効率も多分だけど高い
Cの場合は、例えば
atype;
という宣言があった場合、"atype"という識別子が
１．typedefで型の名前として既に定義済であれば「変数が指定されてない構文エラー」となるし
２．そうでない場合、"atype"という名前のint型の変数の宣言として扱われ
２―１．"atype"という変数が既に宣言済であれば２重宣言のエラー、
２―２．そうでなければ正しい変数宣言
となるので、構文解析の際にsymbol tableを参照する必要がある（つまり本質的なレベルで文脈依存文法）ケースが存在するので
当然ながらコンパイラの効率が下がるだろうね