07/04/18 22:30:49
>>539
>変数テーブルや型テーブルの管理は、
>構文解析の仕事だよ
>yaccで言うと、BNFを構成するの
>それぞれの構文要素にアクションとして記述する
アクションとして記述する部分は構文解析の範疇じゃないだろ？
構文解析と言えば、
・構文的に正しいか否かを判別すること
yacc で言えば、{ } 内の処理が全くない状態で
parsing できるか否かを判別すること。
・正しい場合、それがどの構文形式かを一意に特定すること
>>517
>構文解析： 式 (XXXX)("foo", stdout)は、
>(少なくとも)２種類の解釈ができる。
こんなのダメダメ。実質、reduce/reduce conflict だろうが。
だろ？