記事
演算子の結合規則のバリエーションについて
最近RPrecという演算子の優先順位に基づいて構文解析を行うRubyのライブラリを実装しました。 その中で、演算子の優先順位と結合順位についての理解が深まりました。
演算子の優先順位 (precedence) というのは、1 + 2 * 3
が1 + (2 * 3)
と解釈されて「*
は+
よりもつよく結合する」というように言われるものです。
この優先順位はJavaScriptであればこの辺りに、Rubyであればこの辺りにまとまっています。
そして、演算子の結合規則 (associativity) というのは、左結合とか右結合とか言われるものです。
1 + 2 + 3
は(1 + 2) + 3
と解釈されるので+
は左結合であったり、a = b = 1
がa = (b = 1)
と解釈されるので=
は右結合というようなものです。
今回は、この演算子の結合規則のバリエーションについて考察したことについて、まとめたいと思います。
想定読者: 構文解析やプログラミング言語の構文に興味があり、これらについて多少の知識があることを想定しています。
Pike VMとEarley法の関係についてRubyで実装して考えてみる
正規表現マッチングの実装手法の1つとしてPike VMと呼ばれるものがあります。
これはGo言語の正規表現実装やRustのregex
crateで使われている手法であり、正規表現と入力文字列に対しての計算量でマッチングができるのが特徴です。
Earley法はJay Earleyの提案した文脈自由文法 (CFG) の構文解析手法の1つです。 すべてのCFGを構文解析できる手法で最悪計算量はですが、無曖昧であればで、決定的であればで構文解析ができます。
実装してみると分かりますが、Pike VMとEarley法には類似している点があり、Earley法をPike VMの発展系のように考えることができます。 この記事ではPike VMとEarley法のRubyでの実装を通じて、それらの関係を解説します。
想定読者: 形式言語や構文解析についての基本的な知識がある (NFAやCFGなどを知っている) ことを想定しています。
L*について説明してみる
Automata Learning とは、未知の (ブラックボックス) システムに対する入力とその出力から、システムの振舞いを有限状態オートマトンとして再現する手法です。 これは、仕様が形式化されていないシステムに対して形式的な手法を適用するための足掛りになるなど、近年重要な技術となっています。
Angluin によるは Automata Learning のアルゴリズムの中でも最も代表的な存在です。 は未知の正規言語を教師を使って学習するアルゴリズムで、多くの Automata Learning の基礎となっています。
この記事ではの、その原理やアルゴリズムの詳細について解説します。
Hopcroft のアルゴリズムについて
前回の記事では DFA 最小化アルゴリズムとして Brzozowski のアルゴリズムを解説しました。 今回は、別の最小化アルゴリズムとして Hopcroft のアルゴリズムについて解説します。
"Introduction to Automata Theory, Languages, and Computation" (日本語訳『オートマトン 言語理論 計算論』) の著者の一人として知られる John Hopcroft が 1971 年に発表したアルゴリズムです。 実装を工夫することで最悪計算量は DFA の状態数 に対して となることが知られています。 しかし、正当さがやや直感的でないことから、オートマトン理論の教科書や講義などで触れられる機会は少ないように思います。
この記事では、Hopcroft のアルゴリズムの実装に加えて、その正しさの証明や計算量の解析を行います。
Brzozowski のアルゴリズムとは結局何なのか
を言語 を受理する DFA とすると、 は言語 を受理する最小 DFA となります。 ここで というのは部分集合構成法による決定化の処理で、 は DFA の各遷移と初期状態・受理状態を反対にして NFA を求める処理を表します。 この 2 回のリバースと決定化を行う DFA の最小化アルゴリズムは Brozozowski のアルゴリズム として知られています。 Brzozowski 微分などで知られる Janusz Brzozowski が 1960 年代に発表したアルゴリズムです。
以前 Qiita でこのアルゴリズムでどうして DFA の最小化が行なえるのかを説明したのですが(Brzozowski のアルゴリズム - なぜ DFA を 2 回反転すると最小化できるのか )、これによって構成される DFA がどのようなものなのかは説明していませんでした。 今回のこの記事では、Brozozowski のアルゴリズムで求まる最小 DFA がどのようなものなのかを別の角度から少し解説したいと思います。