[論文レビュー] A Congruence-based Perspective on Automata Minimization Algorithms

Pierre Ganty, Elena Gutiérrez+1 more|arXiv (Cornell University)|Jan 1, 2019

semigroups and automata theory参考文献 14被引用数 2

ひとこと要約

本稿では、語の同値関係を分析することで、古典的なオートマトン最小化アルゴリズム（ホプロフト、ムーア、ブロゾフソウスの二重反転法など）を統一的かつ再解釈する合同関係に基づくフレームワークを提示する。状態分割の精錬による最小化と二重反転による決定化は、いずれも右合同関係または左合同関係からオートマトンを構築するという同一の原理の双対的例であることが示される。主な貢献は、決定化が最小DFAを生成するための必要十分条件を特定することであり、これはネローデ同値関係と右合同関係・左合同関係の双対性の観点から、これまで別個の手法にすぎないと見なされてきたそれらを統合するものである。

ABSTRACT

In this work we use a framework of finite-state automata constructions based on equivalences over words to provide new insights on the relation between well-known methods for computing the minimal deterministic automaton of a language.

研究の動機と目的

• ホプロフト、ムーア、ブロゾフソウスのアルゴリズムといった、見た目は異なる古典的オートマトン最小化アルゴリズムを、語の合同関係に基づく共通の理論的枠組みで統一すること。
• 状態分割の精錬（例：ムーアおよびホプロフトのアルゴリズム）と二重反転法との間の概念的関係を明確にすること。
• 言語ベースの合同関係とオートマトンベースの合同関係（語上での）およびそれらが誘導するオートマトン構成との関係を形式化すること。
• 決定化が最小DFAを生成するための必要十分条件を、合同関係理論に基づいて確立すること。
• ブロゾフソウスとタンムによる「アトマトン」と「部分アトマトン」の構成法が、提案された合同関係に基づくオートマトン構成とどのように関係するかを明らかにすること。

提案手法

• 連結と整合する語上での右合同関係および左合同関係を定義し、Σ* 上に有限な分割を誘導するものとする。
• これらの合同関係からオートマトンを構成する：言語ベースの合同関係は最小の決定的またはコ・決定的オートマトンを、オートマトンベースの合同関係は入力NFAの決定化またはコ・決定化されたバージョンをそれぞれ導く。
• 右合同関係と左合同関係の双対性を活用し、最小化と決定化の操作を関連付ける。
• 決定化が最小DFAを生成するための必要十分条件（定理16）を、元のNFAを反転させた後コ・決定的であるかどうかに依存して定式化する。
• このフレームワークを用いて、ブロゾフソウスの二重反転法およびブロゾフソウスとタンムによる一般化を再導出し、再解釈する。
• アトマトン／部分アトマトンと、DetℓおよびMinℓ操作から導かれる構成との間の同型関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 古典的なオートマトン最小化アルゴリズム（ホプロフト、ムーア、ブロゾフソウスなど）を、語の合同関係に基づく単一の理論的枠組みで統一することは可能か？
• RQ2 コ・決定的NFAを決定化したときに最小DFAが得られるのは、どのような正確な条件下か？
• RQ3 言語ベースの合同関係とオートマトンベースの合同関係は、どのように互いに関係し、ネローデ同値関係と結びつくか？
• RQ4 二重反転法とムーアやホプロフトの状態分割精錬アルゴリズムとの間には、どのような関係があるか？
• RQ5 アトマトンおよび部分アトマトンの構成は、提案された合同関係に基づくオートマトン構成とどのように関係するか？

主な発見

• 本稿では、決定化が最小DFAを生成するための必要十分条件（定理16）を確立した：入力NFAは反転後にコ・決定的でなければならない。
• 二重反転法は、この一般フレームワークの特殊なケースであることが示され、コ・決定的NFAの決定化が最小DFAを生成することを裏付ける。
• ムーアのアルゴリズムとホプロフトのアルゴリズムは、語上の右ネローデ分割を反復的に精錬するものとして解釈され、ムーアのアルゴリズムは最大不動点反復に対応する。
• 言語Lのアトマトンは、Detℓ(N_DM)およびMinℓ(L)の両方と同型である。ここでN_DMはLの最小DFAを表す。
• NFA Nの部分アトマトンはDetℓ(N)と同型であり、ブロゾフソウスとタンムの構成法と、本稿のフレームワークとの直接的な関係が確立される。
• 右合同関係と左合同関係の双対性は、最小化と決定化の対称性を説明し、二重反転法と分割精錬アプローチを統合する。