[论文解读] Combinatorial Characterization of Formal Languages

Arseny M. Shur|arXiv (Cornell University)|Oct 26, 2010

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

一句话总结

本文通过研究有限字母表上的最小β-幂和无平方词，利用图论与结构方法，对形式语言进行了组合表征，推导出存在性条件与禁止周期。主要贡献在于对k元字母表上最小β-幂的周期进行了完整分类，揭示了禁止周期是有限且有界的，其上界为k(k−1)，并给出了不同β范围和字母表大小下其存在的明确条件。

ABSTRACT

This paper is an extended abstract of the dissertation presented by the author for the doctoral degree in physics and mathematics (in Russia). The main characteristic studied in the dissertation is combinatorial complexity, which is a "counting" function associated with a language and returning the number of words of given length in this language. For several classes of languages, a variety of problems about combinatorial complexity and its connections to other parameters of languages are studied. A brief introduction to the topic and the formulations of results are presented. No proofs are given; instead, the papers containing the proofs are cited.

研究动机与目标

• 为有限字母表上最小β-幂提供完整的组合表征，尤其关注禁止与允许的周期。
• 解决关于二元与k元β-自由循环词在不同β值下存在的开放问题，特别是在临界范围β ∈ [(7/3)+, 5/2] 内。
• 建立三元无平方循环词与加权K₃,₃图中闭迹之间的联系，从而实现对先前计算结果的无需计算机的证明。
• 以Thue–Morse同态像的共轭形式描述最小β-幂的结构，尤其针对β ∈ [2+, (7/3)] 的情况。
• 提出并支持一个关于k元最小β-幂中禁止周期的有限性与分布的一般性猜想，给出其出现的精确界。

提出的方法

• 通过将三元无平方循环词表示为加权K₃,₃图中的闭迹，采用图论建模，以消除对计算机搜索的依赖。
• 利用共轭与同态（特别是Thue–Morse同态θ）的结构分析，表征β ∈ [2+, (7/3)] 范围内的最小β-幂。
• 应用递推关系与生成函数分析组合复杂性，将结果与Chomsky–Schützenberger及Flajolet关于上下文无关语言的定理相联系。
• 通过β区间与周期约束的分情况分析，建立最小β-幂的存在性与非存在性定理，包括对p的模算术条件。
• 结合理论分析与已知的可判定性结果，通过计算机验证的例外情况扩展定理，确保完备性。
• 提出关于禁止周期的一般性猜想，基于结构与渐近分析，给出p ≥ k(k−1)时为允许周期的紧致界。

实验结果

研究问题

• RQ1 对于哪些β与k值，存在最小k元β-幂，其周期为p，其p的结构条件是什么？
• RQ2 最小β-幂的禁止周期的性质与范围是什么，其如何随β与k变化？
• RQ3 如何表征二元β-自由循环词的存在性，特别是当β ∈ [(7/3)+, 5/2] 时，其例外情况的原因是什么？
• RQ4 三元无平方循环词与K₃,₃图中闭迹之间有何关系，该关系如何实现非计算性证明？
• RQ5 在何种条件下，最小β-幂的禁止周期集合是有限的，允许周期的p的最佳可能上界是什么？

主要发现

• 对于β ∈ [(7/3)+, 5/2] 的二元最小β-幂，禁止周期仅出现在p ∈ {5, 9, 11, 18}，且这些长度下不存在此类词。
• 当β ∈ [2+, (7/3)] 时，最小β-幂是θ^m(a)、θ^m(b)、θ^m(aba)或θ^m(bab)的共轭，其周期为p = 2^m或p = 3·2^m。
• 当k ≥ 4且β = 2时，每个正整数p都是最小k元β-幂的允许周期。
• 当k ≥ 3且β ≥ 2+时，所有正整数p均为允许周期，除特定模运算与区间限制外。
• 当β ∈ [k/(k−1)+, (k−1)/(k−2)] 时，禁止周期包括满足p ∈ [(m−2)(k+1)+1, m(k−1)−1]且p mod k ≠ 0的p，以及p = 3k或4k。
• 当k ≥ 9且β ∈ [(2k−5)/(2k−7)+, (k−3)/(k−4)] 时，周期p = 2k−7被禁止，且禁止周期集合的大小为Ω(k²)。