[论文解读] Primitive Recursive Presentations of Automata and their Products

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

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

一句话总结

本文提出了一种摩尔机（转移器）的原始递归函数表示法，该方法能够以简洁、参数化的方式描述复杂的状态系统，尤其适用于组合式与并发式架构。通过同时对输入字符串和反馈进行递归建模状态转移，该方法支持并行系统的模块化构建，并与代数自动机理论建立联系，包括克罗恩-罗兹分解与幺半群因式分解。

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.

研究动机与目标

• 解决传统有限自动机表示法在编程与工程中描述大型、复杂且部分指定的状态系统时的局限性。
• 提供一种参数化、简洁且可组合的方法，通过原始递归定义的字符串函数来定义系统架构。
• 通过反馈驱动的递归函数系统，形式化并行与并发状态机的组合。
• 探索递归函数表示与代数自动机理论之间的联系，特别是克罗恩-罗兹定理与幺半群因式分解。
• 通过堆栈机与进位先行加法器等实例，展示该方法在实际应用中的可行性，表明递归组合能够准确建模现实世界系统的行为。

提出的方法

• 将摩尔机表示为字符串函数 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 克罗恩-罗兹分解定理是否能通过更简单转移器的递归组合自然实现？
• RQ5 状态机中的类群组件（例如循环缓冲区中）在递归框架中是否对应于可逆或可撤销的操作？

主要发现

• 通过原始递归的函数表示，能够简洁且参数化地描述摩尔机，从而无需显式表达状态集合。
• 复合系统可通过同步递归构建，其中每个组件的输入序列依赖于反馈，从而支持对并发且相互作用的状态机进行建模。
• 该方法支持从更简单的有限状态组件构建有限状态系统，且任何有限状态转移器均可通过二进制编码表示为两个状态摩尔机的乘积。
• 由字符串函数 f 决定的幺半群是有限的，当且仅当集合 {f_w | f_w(z) = f(w∘z)} 是有限的，从而将函数行为与代数结构联系起来。
• 级联组合（如进位先行加法器）建模了数据的串行传播，对应于幺半群因式分解，但可能因进位传播而速度较慢，凸显了系统设计中的权衡。
• 类群组件（如循环缓冲区中）提示可能存在部分逆元，表明递归分解可能揭示系统行为中的可撤销或可逆操作。