意味解析や文脈依存解析は、通常は構文解析後にソースコードから必要な意味情報を収集するためのコンパイラ構築のプロセスです。これは通常、型チェックを含むか、変数が使用される前に宣言されていることを確認します。これは拡張されたBackus-Naur形式では記述できないため、解析中に簡単には検出されません。