标题： $(ω- 1)$项的字问题在$\mathrm{DAb}$上 显示英文标题

标题： The Word Problem for $(ω- 1)$-Terms over $\mathrm{DAb}$

摘要： 我们使用有限指数同余给出一个基于排序器的描述，用于有限独异点的种类$\boldsymbol{\mathrm{DAb}}$，其正则$\mathcal{D}$-类形成阿贝尔群。 这个组合描述为$\boldsymbol{\mathrm{DAb}}$上的一般伪字提供了规范形式。 对于$(\omega - 1)$-项，此规范形式是可计算的，这为$(\omega - 1)$-项的$\boldsymbol{\mathrm{DAb}}$的字问题提供了一个算法。 显示英文摘要

摘要： We give a ranker-based description using finite-index congruences for the variety $\boldsymbol{\mathrm{DAb}}$ of finite monoids whose regular $\mathcal{D}$-classes form Abelian groups. This combinatorial description yields a normal form for general pseudowords over $\boldsymbol{\mathrm{DAb}}$. For $(\omega - 1)$-terms, this normal form is computable, which yields an algorithm for the word problem for $(\omega - 1)$-terms of $\boldsymbol{\mathrm{DAb}}$.