[論文レビュー] Automata and Transducers in the Computer Algebra System Sage.

Clemens Heuberger, Daniel Krenn+1 more|arXiv (Cornell University)|Apr 29, 2014

Polynomial and algebraic computation被引用数 1

ひとこと要約

本稿では、Sage計算代数システム内での有限オートマトンおよびトランスダクターの実装を提示し、これらの構造の効率的な構築と操作を可能にしている。新規の結果として、非隣接形式に類似した桁展開の漸近的ハミング重みが導出された。これは、従来の文献では未知であった値である。

ABSTRACT

Abstract. In this tutorial, we demonstrate how easy it is to construct finite state machines, in particular automata and transducers, within the computer algebra system Sage. As a beneficent byproduct, we calculate the asymptotic Hamming weight of a non-adjacent-form-like digit expansion, which was not known before. 1.

研究の動機と目的

• 有限状態マシン、特にオートマトンおよびトランスダクターのSage計算代数システム内での統合と使いやすさを示すこと。
• 研究者や学生が記号計算を用いてオートマトンおよびトランスダクターを構築・分析できる、実用的でアクセスしやすいフレームワークを提供すること。
• 非隣接形式に類似した桁展開の漸近的ハミング重みを計算すること。これは、分野において以前に解決されていなかった問題である。
• Sageのような計算代数システムが、オートマトン理論および数値表現系における高度な理論的結果を支援できる方法を示すこと。

提案手法

• Sageが備える記号計算および代数的構造のネイティブサポートを活用し、有限オートマトンおよびトランスダクターの定義と操作を行う。
• アルゴリズム的構築を用いて、桁展開とそれに関連する状態遷移をオートマトン枠組み内でモデル化する。
• トランスダクターの操作を適用し、桁展開全体におけるハミング重みの分布を分析する。
• 漸近的解析技術を用いて、指定された桁展開システムにおけるハミング重みの極限的挙動を導出する。
• Sage環境内での計算実験と形式的推論を通じて、結果の妥当性を検証する。
• 理論的オートマトン理論と計算代数を組み合わせ、新たな数学的洞察を導出する。

実験結果

リサーチクエスチョン

• RQ1 有限オートマトンおよびトランスダクターは、Sage計算代数システム内でどのように効果的に実装され、利用可能になるか？
• RQ2 非隣接形式に類似した桁展開の漸近的ハミング重みは何か？
• RQ3 計算代数システムは、オートマトンおよび数値表現分野において、以前に未知であった理論的結果の発見を支援できるか？
• RQ4 Sageを用いたオートマトンベースの桁展開分析において、計算的および理論的利点は何か？

主な発見

• 本稿では、Sage内に有限オートマトンおよびトランスダクターを成功裏に実装し、それらの構築と分析に向けたユーザーフレンドリーで強力な環境を提供した。
• 非隣接形式に類似した桁展開の漸近的ハミング重みが、初めて計算された。これは、以前に未知であった値を解消した。
• この結果は、記号計算とオートマトン理論の相乗効果を示しており、計算ツールを通じて新たな理論的知見を可能にした。
• この手法により、アクセスしやすいソフトウェアインfraを用いて、複雑な桁展開システムの効率的かつ再現可能な分析が可能になった。