Sturmian态射及其导出词的不动点

任意无限一致递归词${\bf u}$均可写为${\bf u}$的所选前缀$w$的有限个回归词的拼接。该拼接中回归词$w$的排序由导出词$d_{\bf u}(w)$编码。1998年，Durand证明了原始态射的不动点${\bf u}$仅有有限个导出词$d_{\bf u}(w)$，且每个导出词$d_{\bf u}(w)$也由某个原始态射固定。在本文中，我们关注由原始态射固定的Sturmian词。我们给出一种算法，对给定Sturmian态射$\psi$，列出固定Sturmian词${\bf u} = \psi({\bf u})$的导出词的态射。我们给出了该列表长度的精确上界。