[论文解读] 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中实现了有限自动机与转移器，提供了一个用户友好且功能强大的环境，用于其构建与分析。
• 首次计算出类似非相邻形式的数位展开的渐近汉明权重，解决了此前未知的数值。
• 该结果展示了符号计算与自动机理论之间的协同效应，通过计算工具实现了新的理论洞见。
• 该方法使利用可访问的软件基础设施，高效且可复现地分析复杂数位展开系统成为可能。