We examine the construction of Huang and Osajda that was used in their proof of the biautomaticity of Artin groups of almost large type. We describe a slightly simpler variant of that biautomatic structure, with explicit descriptions of a few small examples, and we examine some of the properties of the structure. We explain how the construction can be programmed within the GAP system.

中文翻译：

---

收缩期 Artin 组中的双自动结构

我们检查了 Huang 和 Osajda 的构造，该构造用于证明几乎大类型的 Artin 群的双自动性。我们描述了该双自动结构的一个稍微简单的变体，并明确描述了一些小例子，并且我们检查了该结构的一些属性。我们解释了如何在间隙系统.