| Autor: |
Almeida, Jorge, Kufleitner, Manfred, Wächter, Jan Philipp |
| Rok vydání: |
2024 |
| Předmět: |
|
| Druh dokumentu: |
Working Paper |
| Popis: |
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}}$. |
| Databáze: |
arXiv |
| Externí odkaz: |
|
