[论文解读] On composite and non-monotonic growth functions of Mealy automata

Illya I. Reznykov|arXiv (Cornell University)|Jun 15, 2005

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

一句话总结

本文引入了梅利自动机的复合增长函数——即在不相交的无限区间上由不同表达式定义的函数——并证明了存在具有多项式阶非单调增长函数的梅利自动机。此外，本文还构造了具有中间型和指数型复合单调增长的实例，挑战了传统认为此类增长函数始终单调的假设。

ABSTRACT

We introduce the notion of composite growth function and provide examples that illustrate the primary properties of these growth functions. There are provided examples of Mealy automata that have composite non-monotonic growth functions of the polynomial growth order. There are described examples of Mealy automata that have composite monotonic growth functions of intermediate and exponential growth. The questions concerning the interrelation between the notions ``composite'' and ``non-monotonic'' of a Mealy automaton growth function are formulated.

研究动机与目标

• 引入并形式化梅利自动机中复合增长函数的概念，其中增长在不相交区间上分段定义。
• 证明存在具有非单调增长函数（特别是多项式阶）的梅利自动机，反驳了增长函数始终单调的普遍假设。
• 构造具有中间型和指数型复合单调增长函数的梅利自动机实例。
• 研究复合与非单调性质在梅利自动机增长函数语境下的相互作用。
• 为复杂自动机的幺半群元素建立基础性结果与正规形式，以支持对增长行为的进一步分析。

提出的方法

• 将复合增长函数定义为在自然数的非重叠无限区间上由不同函数形式表达的函数。
• 利用梅利自动机变换的展开形式，分析由状态作用生成的幺半群元素的结构。
• 构造在二元字母表上具有两个状态的特定梅利自动机，通过转移函数和输出函数诱导分段定义的增长。
• 应用先前研究（Reznykov, 2002, 2003）中关于二状态梅利自动机与多项式增长的技术，分析所构造实例的增长行为。
• 通过分析增长函数的有限差分，识别出如值重复等模式，表明增长行为中存在结构性复杂性。
• 为复杂自动机中的幺半群元素提供正规形式，以支持增长函数表达式的推导。

实验结果

研究问题

• RQ1 梅利自动机能否表现出非单调增长函数？若能，其何种结构特性使其成为可能？
• RQ2 复合增长函数在梅利自动机中可实现哪些增长阶类型（多项式、中间型、指数型）？
• RQ3 梅利自动机中增长函数的复合性与非单调性如何相互作用？
• RQ4 对转移函数和输出函数施加何种条件，可导致在无限区间上具有不同表达式的分段定义增长函数？
• RQ5 梅利自动机的增长函数与其所生成幺半群的增长函数在阶上可能不同吗？

主要发现

• 本文构造了具有多项式阶复合非单调增长函数的梅利自动机，提供了此类行为的首个已知实例。
• 明确描述了具有中间型和指数型复合单调增长函数的梅利自动机实例。
• 证明了自动机的增长函数在不相交的无限区间上由不同表达式定义，确认了函数的复合性质。
• 部分实例中增长函数的有限差分包含重复值，表明增长模式中存在结构性周期性或对称性。
• 为最复杂的自动机推导出幺半群元素的正规形式，从而实现了对增长函数行为的精确分析。
• 研究结果挑战了当前认为梅利自动机增长函数必然非递减的普遍观点，确立了非单调性在理论上是可能的。