Для любой конечно определенной коммутативной полугруппыпроблема равенствараспознаваема на машине Тьюринга реального времени.