[論文レビュー] Primitive Recursive Presentations of Automata and their Products

Victor Yodaiken|arXiv (Cornell University)|Jul 23, 2009

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

ひとこと要約

本稿では、Mooreマシン（変換機）の原始再帰的関数的表現を導入し、特に構成的および並列アーキテクチャ向けに、複雑な状態系を簡潔でパラメータ化可能な形で記述することを可能にする。状態遷移を入力文字列とフィードバックの両方について同時再帰的にモデル化することで、並列系のモジュラー構築が可能となり、代数的オートマトン理論（Krohn-Rhodes分解やモノイド因子化を含む）とも関連づけられる。

ABSTRACT

Methods for specifying Moore type state machines (transducers) abstractly via primitive recursive functions and for defining parallel composition via simultaneous primitive recursion are discussed. The method is mostly of interest as a concise and convenient way of working with the complex state systems found in computer programming and engineering, but a short section indicates connections to algebraic automata theory and the theorem of Krohn and Rhodes.

研究の動機と目的

• プログラミングおよび工学分野における、大規模で複雑かつ部分的に指定された状態系を記述する際、従来の有限オートマトン表現の限界を克服すること。
• 原始再帰によって定義される文字列関数を用いて、システムアーキテクチャをパラメータ化可能で簡潔かつ合成可能な方法で定義すること。
• フィードバック駆動の再帰的関数系を用いて、並列的および並列な状態機械の合成を形式化すること。
• 再帰的関数表現と代数的オートマトン理論（特にKrohn-Rhodes定理およびモノイド因子化）との関係を明らかにすること。
• スタックマシンやリップルキャリーアダダなど、実例を通じて実用的妥当性を示し、再帰的合成が実世界のシステム動作をどのようにモデル化できるかを提示すること。

提案手法

• Mooreマシンを文字列関数 f: A* → X として表現し、f(Λ) = x₀ および f(wa) = h(a, f(w)) を原始再帰によって定義する。
• 同時再帰による合成系の定義：f(w) = h(f₁(u₁), ..., fₙ(uₙ)) で、uᵢ(wa) = uᵢ(w) ∘ g(i, a, f(w)) とし、フィードバック駆動の入力生成をモデル化する。
• 通信マップ g を用いて、現在のシステム状態（フィードバック）に基づき、入力をコンポーネントにルーティングすることで、コンポーネント間の動的相互作用を可能にする。
• 各コンポーネントの入力列 uᵢ が、直前の出力と外部入力の再帰的フィードバックによって決定されることに着目し、単純なマシンの積としてシステムを構築する。
• 実システム（スタックやリップルキャリーアダダなど）をモデル化する応用例を提示し、再帰的合成がハードウェアレベルの動作をどのように捉えるかを示す。
• 文字列同値類 [w]_f からなるモノイド構造 [w]·[z] = [w∘z] を構築し、関数的表現と代数的オートマトン理論を結びつける。

実験結果

リサーチクエスチョン

• RQ1 複雑で並列的かつ部分的に指定された状態系は、従来の状態集合表現に代えて、再帰的文字列関数を用いることで、より簡潔かつモジュラーに記述可能だろうか？
• RQ2 コンポーネント出力からのフィードバックを、再帰的関数定義に体系的に組み込むにはどうすればよいか？ これにより並列状態遷移をモデル化できるか？
• RQ3 合成系の原始再帰的表現と、その状態モノイドの下位代数的構造との関係は何か？
• RQ4 Krohn-Rhodes分解定理は、単純な変換機の再帰的合成によって自然に実現可能だろうか？
• RQ5 状態機械における群型コンポーネント（例：円形バッファ内）は、再帰的枠組みにおける逆元可能または元に戻せる操作に対応するだろうか？

主な発見

• 原始再帰による関数的表現により、明示的な状態集合に依存せずに、Mooreマシンを簡潔かつパラメータ化可能に記述できる。
• 各コンポーネントの入力列がフィードバックに依存する同時再帰を用いることで、並列的かつ相互作用的な状態機械のモデル化が可能となる。
• 本手法により、単純な有限状態コンポーネントから有限状態系を構築可能であり、任意の有限状態変換機は2状態Mooreマシンの積として、2進符号化を用いて表現可能である。
• 文字列関数 f によって定まるモノイドが有限であるための必要十分条件は、関数集合 {f_w | f_w(z) = f(w∘z)} が有限であることである。これにより、関数的挙動と代数的構造が結びつけられる。
• カスケード構成（例：リップルキャリーアダダ）は、逐次的なデータ伝搬をモデル化し、モノイド因子化に対応するが、キャリーオーバーの影響で遅延が生じるため、システム設計におけるトレードオフが顕在化する。
• 群型コンポーネント（例：円形バッファ内）は、部分的な逆元の可能性を示唆しており、再帰的分解によってシステム挙動における取り消し可能または可逆な操作が明らかになる可能性がある。