構文解析 とは？

そうだよ。字句解析でトークンに分けた後、それらの並び方が文法ルールに合っているかをチェックするのが構文解析だね。

たとえば「x = 3 + 5;」というトークン列を受け取って、「代入文 → 識別子 = 式;」「式 → 式 + 項」のような文法規則に当てはめて構文木を作るよ。

プログラムの構造をツリーで表したもので、この後の意味解析やコード生成の基盤になるんだ。特に抽象構文木（AST）は不要な情報を省いた木で、コンパイラだけでなくリンターやフォーマッターでも広く使われているよ。

LL法は入力を左から読んで左端導出を行う方法、LR法は左から読んで右端導出を行う方法だよ。LR法の方が対応できる文法が広いけど実装が複雑で、yaccやbisonはLR法ベースのツールだね。

「セミコロンがない」「括弧の対応が取れていない」のような構文エラーを報告するよ。優秀なパーサーはエラー回復機能を持っていて、1つのエラーで止まらず複数のエラーをまとめて報告してくれるんだ。最近ではtree-sitterのようにエディタ上でリアルタイムに構文解析を行うツールもあるよ。