The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy

Manfred Kufleitner, Jan Philipp Wächter

For two given $\omega$-terms $\alpha$ and $\beta$, the word problem for $\omega$-terms over a variety $\mathrm{V}$ asks whether $\alpha =\beta$ in all monoids in $\mathrm{V}$. We show…