直接素子移位与典范覆盖

我们提出了一个新的充分判据，用于证明非sofic半同步子移位是直接素的。该判据基于半同步移位的Fischer图的共轭不变性质。我们利用此判据作为一个新结果证明了所有n-Dyck移位都是直接素的，并且我们也给出了非sofic beta移位与非sofic S-gap移位直接素性的新证明。我们还构造了一类非sofic同步直接素子移位，其额外地容许具有所有方向敏感的可逆元胞自动机。