准极小移位系统的可判定性与普适性

我们引入了准极小移位系统 (quasiminimal subshifts)，即仅拥有有限多个子系统的移位系统。对于 $\mathbb{N}$-作用，其理论本质上归结为极小系统理论；但对于 $\mathbb{Z}$-作用，该类系统则大得多。我们展示了此类移位系统的许多实例，特别是构造了一个仅有一个真子系统的普适系统，从而反驳了 [Delvenne, K\r{u}rka, Blondel, '05] 提出的猜想。