[论文解读] Slowly synchronizing automata with zero and incomplete sets

Elena V. Pribavkina|ArXiv.org|Jul 27, 2009

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

一句话总结

该论文利用自由幺半群中不完整集合的组合性质，构造了一类在任意大小至少为2的字母表上的$n$-状态确定性自动机，其具有零状态。通过将语言$X^*$中的不可完成词与导出自动机$\widehat{\mathcal{F}}(X)$中的同步词联系起来，证明了存在此类自动机，其最短同步词长度为$\frac{n^2}{4} + \frac{n}{2} - 1$，该长度匹配二进制字母表下已知的最佳增长速率，且可推广至任意字母表而无需限制字母数量。

ABSTRACT

Using combinatorial properties of incomplete sets in a free monoid we construct a series of n-state deterministic automata with zero whose shortest synchronizing word has length n^2/4+n/2-1.

研究动机与目标

• 确定在固定$m$-字母表上，$n$-状态具有零状态的同步自动机的最短同步词的最大长度。
• 将先前仅限于二进制字母表的构造方法推广至非二进制情况，同时保持最短重置词长度的最优$\Theta(n^2)$增长速率。
• 建立形式语言中不可完成词与具有零状态的确定性自动机中同步词之间的系统性联系。
• 确保所构造的自动机是正规的，即每个输入字母均出现在每个最短同步词中，这对有意义的复杂度界限至关重要。

提出的方法

• 将不完整集合$X \subset A^*$定义为存在非空词不作为$X^*$中任何词的因子的集合，并研究其组合性质。
• 构造一个半花自动机$\mathcal{F}(X)$，用于识别语言$X^*$，其转移关系由$X$中词的前缀和后缀定义，并通过添加一个零状态将其扩展为确定性自动机$\widehat{\mathcal{F}}(X)$。
• 利用性质：当且仅当词$w$同步$\widehat{\mathcal{F}}(X)$时，$w$在$X^*$中不可完成，从而在语言不可完成性与自动机同步性之间建立直接对应关系。
• 对于$X = A^k \setminus \{u\}$，其中$u$是长度为$k$且包含$A$中所有字母的无边框词，构造自动机$\widehat{\mathcal{F}}(k,u)$，该自动机为确定性且具有唯一零状态。
• 证明$\widehat{\mathcal{F}}(k,u)$的最短同步词为$w = (ua)^{k-1}u$，长度为$k^2 + k - 1$，并表明此构造对应于$n = 2k$个状态。
• 证明当$k > |A|$时，自动机$\widehat{\mathcal{F}}(k,u)$是正规的，因为$u$包含$A$中所有字母，从而确保所有字母均出现在每个最短重置词中。

实验结果

研究问题

• RQ1 是否可以在字母表大小大于二的情况下实现$n$-状态具有零状态的自动机中，最短同步词长度的$\Theta(n^2)$下界，而无需将字母表大小限制为二？
• RQ2 形式语言中不可完成词与具有零状态的确定性自动机中同步词之间存在何种结构性联系？
• RQ3 如何将此类自动机的构造方法推广至非二进制字母表，同时保持最短重置词长度的最优$\Theta(n^2)$增长速率？
• RQ4 在何种条件下，所构造的自动机是正规的，即每个输入字母均出现在每个最短同步词中？
• RQ5 该构造是否可基于自由幺半群中不完整集合与无边框词的组合性质推导得出？

主要发现

• 对于任意字母表大小$|A| \geq 2$，以及任意整数$k > |A|$，存在一个正规的$n$-状态同步自动机（具有零状态），其中$n = 2k$，其最短同步词长度为$\frac{n^2}{4} + \frac{n}{2} - 1$。
• 该构造将先前仅限于二进制字母表的结果推广至任意字母表，实现了与之前相同的$\Theta(n^2)$最短重置词长度增长速率。
• 自动机$\widehat{\mathcal{F}}(k,u)$的最短同步词为$w = (ua)^{k-1}u$，其中$u$是长度为$k$且包含$A$中所有字母的无边框词，该词长度为$k^2 + k - 1$。
• 自动机$\widehat{\mathcal{F}}(k,u)$为确定性且具有唯一零状态，确保了同步的定义明确且唯一。
• 该构造确保自动机是正规的：由于无边框词$u$中包含了字母表的所有字母，因此每个字母均出现在每个最短同步词中。
• 关键洞见在于$X^*$中不可完成词与$\widehat{\mathcal{F}}(X)$中同步词之间的等价性，这使得可以利用形式语言理论来构造难以同步的自动机。