再帰下降構文解析
以下の文法はLL(1)形式のEBNFの例である(ニクラウス・ヴィルトのPL/0言語)。単純化のため、ident と number は終端記号とされている:
終端記号は引用符で囲まれている(identとnumber以外)。各非終端記号は文法規則で定義されている。
以下に示す予言的パーサが上記文法を正確に反映している点に注意されたい。各非終端記号に対応したプロシージャが存在している。構文解析はトップダウン的に行われ、全非終端記号が処理されるまで行われる。入力コード(プログラムの部分)の先頭の単語は大域変数 sym に格納されている。そして大域関数 getsym を使うことで sym を更新する。