原始的同步自动机
摘要：一种确定有限（半）自动机是原始的，如果它在状态集上的转移单元（半群）没有非平凡的同余。如果它包含一个常数映射（转换），则它是同步的。类似于同步群，我们研究了能够表征原始自动机是否同步的可能性。我们证明了对于几类自动机，这个蕴含是成立的。特别地，我们证明了对于每个字母引起的排列或半恒等变换（具有一个收缩点的幂等元），将除非所有字母都是第一类型的自动机。我们提出并讨论了关于可能更一般的特征的两个猜想。
作者：Igor Rystsov, Marek Szyku{l}a
论文ID：2307.01302
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-07-06