Extending the Synchronous Fellow Traveler Property

我们引入了同伴旅行者性质的一个扩展，该扩展允许同伴旅行者之间的距离上界由一个增长慢于任何线性函数的函数 $f(n)$ 界定。我们研究了满足此扩展同伴旅行者性质以及某些几何约束的规范形式，这些几何约束自然地推广了自动规范形式的两个基本性质——其语言的正则性和有界长度差性质。我们展示了此类规范形式的例子，并证明了一些不存在性定理。