[论文解读] The Rank and Hanna Neumann Property of Some Submonoids of a Free Monoid

Shubh N. Singh, K. V. Krishna|arXiv (Cornell University)|Dec 19, 2011

semigroups and automata theory参考文献 7被引用 5

一句话总结

本文通过刻画具有两个基本路径标识符（bpi）的半花自动机所接受的子幺半群的秩，扩展了Giambruno与Restivo在自由幺半群中关于Hanna Neumann性质的研究。本文建立了两个有限生成子幺半群——每个子幺半群均由具有唯一bpi的确定性半花自动机接受——在它们的乘积自动机为具有两个bpi的半花自动机时，满足Hanna Neumann不等式的充分条件，提供了一个涉及约化秩与基于环路结构的修正项的改进上界。

ABSTRACT

This work aims at further investigations on the work of Giambruno and Restivo to find the rank of the intersection of two finitely generated submonoids of a free monoid. In this connection, we obtain the rank of a finitely generated submonoid of a free monoid that is accepted by semi-flower automaton with two bpi's. Further, when the product automaton of two deterministic semi-flower automata with a unique bpi is semi-flower with two bpi's, we obtain a sufficient condition on the product automaton in order to satisfy the Hanna Neumann property.

研究动机与目标

• 将自由幺半群中有限生成子幺半群的秩计算方法，从半花自动机中唯一bpi的情形推广至具有两个bpi的情形。
• 研究当两个由具有唯一bpi的确定性半花自动机接受的子幺半群，其乘积自动机具有两个bpi时，其交集是否满足Hanna Neumann性质（HNP）。
• 识别出一个充分条件，使得交集的约化秩满足Hanna Neumann不等式。
• 将自动机理论方法扩展至子幺半群交集的研究，特别是在乘积自动机结构偏离先前研究的唯一bpi情形时。

提出的方法

• 本文使用具有两个bpi的半花自动机来建模自由幺半群中的有限生成子幺半群，利用其结构特性进行秩的计算。
• 应用先前研究中的公式（定理3.4），该公式将转移数、状态数与环路数关联到所接受语言的秩。
• 该方法涉及分析两个具有唯一bpi的确定性半花自动机的乘积自动机，以判断其是否为具有两个bpi的半花自动机。
• 通过乘积自动机中加权基本路径标识符（BPO）的和，引入对交集约化秩的上界。
• 关键技术工具是引理3.8，它为具有两个bpi的半花自动机提供了秩不等式，且在确定性情形下等号成立。
• 主要结果（定理3.10）的证明结合了环路结构分析与BPO计数，推导出交集约化秩的改进上界。

实验结果

研究问题

• RQ1 由恰好具有两个bpi的半花自动机接受的自由幺半群中有限生成子幺半群的秩是多少？
• RQ2 当两个子幺半群——每个均由具有唯一bpi的确定性半花自动机接受——的乘积自动机为具有两个bpi的半花自动机时，其交集在何种条件下满足Hanna Neumann性质？
• RQ3 能否推导出一个充分条件，以确保在此扩展情形下，交集的约化秩满足Hanna Neumann不等式？
• RQ4 与唯一bpi情形相比，乘积自动机中存在两个bpi如何影响Hanna Neumann性质的有效性？

主要发现

• 由具有两个bpi的半花自动机接受的子幺半群的秩被限制在(m−1)(l−1)加上一个依赖于基本路径标识符（BPO）数量与长度的项，且在确定性情形下等号成立。
• 对于具有两个bpi的确定性半花自动机，其秩由公式 rk(L(𝒜)) = (m−1)(l−1) + Σ(t=2 to n) |BPO_t(𝒜)|(t−1) + 1 给出。
• 两个子幺半群H与K的交集的约化秩满足不等式 𝔀̃rk(H∩K) ≤ 𝔀̃rk(H)𝔀̃rk(K) + (m−1)(l−1)，其中m与l分别为各自自动机中BPO的数量。
• 若乘积自动机中从一个bpi到另一个bpi仅有唯一路径，则上界收紧为 𝔀̃rk(H∩K) ≤ 𝔀̃rk(H)𝔀̃rk(K)，从而满足Hanna Neumann性质。
• 本文提供了一个反例，表明当乘积自动机具有两个bpi时，Hanna Neumann性质可能不成立，凸显了所提充分条件的必要性。
• 所提方法通过将Giambruno与Restivo的早期结果推广至两个bpi的情形，扩展了秩公式与HNP分析，提供了一个更全面的理论框架。