nDiki

■ Perl で lex/yacc

最近 Perl で字句解析ルーチン生成系/構文解析ルーチン生成系を作ろうかな、などと考えている。 前にもやろうと思っていたのだが、なにもしていなかった。なぜ Perl でかというと、

• C/C++言語にはすでに存在する(flex/bison)。
• Perl にはいいものが存在しない(知らない)。
• flex/bison はC/C++のものしか生成できない。
• これは動的に生成し利用すること、また動的に変更することが考慮されていない。
• Perl なら実行時にサブルーチン定義したり eval できたりする。
• Perl なら気が楽。

などが理由であろうか。 また自分の研究で設計している言語を Scheme 上で実装しようかなと思っているが、その字句解析ルーチン生成系/構文解析ルーチン生成系が欲しい(あることにはあるが)。 一旦 Perl で生成系を自作しておけば、簡単に他の言語の解析ルーチンを生成できるように拡張できるであろう(と考えたい)。

動的な側面が念頭にあるのは、自分の研究がそういうことをやっているから。

とりあえず lex/yacc(flex/bison)互換/ライクなものを作る予定である。 これらはそれぞれ仕様記述のファイルを読み込んで解析ルーチン(解析用テーブル)を生成する。 ので、とうぜんこの仕様記述言語の字句解析ルーチン/構文解析ルーチンが必要である。 手で書いてもいいのだが、それも面倒だ。 当然字句解析ルーチン/構文解析ルーチン生成系が欲しい。 しかしまだない。 これから作ろうとしているものそのものだから。

方法としては、

• Perl で手書きで解析ルーチンを作る。それで Perl 用生成系の仕様記述を読ませて、置き換える。
• Perl の既存の生成系を使う。
• flex/bison を使って C/C++ 版を作成。その後その生成系で Perl 用生成系の仕様記述を読ませる。

などが考えられる。今回はとりあえず一番最後の方法をとろうと思う。 ただし実際には完全に C/C++ で作るのではなく、字句解析/構文解析ルーチンを flex/bison で生成し、それを Perlエクステンションとして、Perl から呼べるようにすることにする。こうしておけば、

• まずその Perlエクステンションで、Perl 用仕様記述を読んで Perl で記述された字句解析/構文解析ルーチンを生成する。
• Perlエクステンションでかかれたものを、上記生成物で置き換える。

とすることができる。最初のものを全部 C/C++ で書くと、解析ルーチン生成部を C/C++ と Perl で2回書かなければならないが、この方法ならその部分は Perl で書いておけるので2度手間にならないであろう。

ということ一昨日は flex のコードを眺めて、昨日は Perl エクステンションの書き方を調べてみている。 flex で吐いたファイルをそのまま Perl エクステンションのコードとは当然できないので、そのトランスレータをまず作ることする。

• 定型書式で内容を記述していくのに便利な形式は? (2005-11-21)
• 新入社員 (2004-04-16)
• MAILPIA による Twitter リプライチェック (2008-11-18)
• 過去の今ごろ (2004-05-07)
• ほぼ Perl 手帳 (2005-12-02)

Perl モジュール Naney Java インストール 開発 メモ Windows HTML ソフトウェア ファイル名 ビルド Makefile.PL