今日の予定

前 (前) 回からの残り

左再帰、EBNF
曖昧性
下向き構文解析の限界

上向き構文解析と bison

flex の演習の正解例

読みやすさのため、コメントを /x x/ にし、スペースを使用

第一案: /x .* x/ 問題: /xx/ /xx/ をまとめて認識

第二案: /x [^x]* x/ 問題: /xxx/ を認識しない

第三案: /x ([^x]|x[^/])* x/ 問題: /x xx/ /x x/ をまとめて認識

第四案: /x ([^x]|x+[^/])* x/ 問題: 以前と同様

第五案: /x ([^x]|x+[^/x])* x/ 問題: /x xx/ を認識しない

第六案: /x ([^x]|x+[^/x])* x+/ 完成!

参考: Mastering Regular Expressions, Jeffrey E.F. Friedl, pp. 168,...

前回の文法の発展

前回の宿題

次の文法の曖昧性を除去し、曖昧性のない文法を作りなさい。曖昧性がないことを複数の例で確認してください。

左再帰の問題と解決

左再帰の例:

E → E '-' integer | integer

間違った解消 (結合規則が違う):

E → integer '-' E | integer

解消の結果:

E → integer EE

EE → '-' integer EE | ε

これに相当する EBNF:

E → integer ('-' integer)*

文法規則と BNF

文法規則には色々な書き方がある:

一番単純な書き方: 矢印だけ
左側に同じ被終端記号を持つものを複数組み合わせて | で選択を表す
⇒ 根本的に 1. と変わらない (syntactic sugar/糖衣構文)
正規表現の ? の様なもの (あり/無し) の追加 (よく [...] で書く)
⇒ 二つの構文規則に分けることが可能
正規表現の * の様なもの (よく {...} で書く)
⇒ 書き換えが可能

上記の拡張を含む文法規則の書き方は BNF (Backus-Naur Form), EBNF (Extended...), ABNF (Augmented...) などという

EBNF の書き換え

M → a N* b

⇒

M → a b | a L bL → L N

flex と bison の使い方の概要

bison でトークンの種類を記述:
%token NUM PLUS ASTERISK ...

bison で属性値の型の定義
#define YYSTYPE int

flex でそれぞれのトークン用のルールの定義

bison で文法規則の定義

bison で文法の属性の規則の定義

コンパイルとテスト (全項目と合わせて行った方がよい)

make の活用

flex, bison, gcc などを忘れず使うのが難しい

make コマンドは makefile の指定に従い、必要最小限の処理を実行

必要に応じて、make コマンドを cygwin で追加

make ファイルの書き方 (→はタブの意味; タブでないとだめ!):

target: input1 input2
    input3 ...

    →target 作成命令

make だけ打つと makefile 内の最初の target が作られる

言語理論とコンパイラ

Martin J. Dürst