Nas aplicações da teoria de semigrupos finitos na Informática, o problema mais comum consiste em decidir se um dado semigrupo finito satisfaz uma propriedade fixada. Tais propriedades traduzem-se em muitas situações em verificar certas igualdades no semigrupo sempre
...