由单关系式显示的半群的字问题

证明了由单关系式 <A ;a =bua >显示的半群或么半群字问题是可判定的 ,其中 A 为某字母表 ,a ,b∈A ,u∈ <a ,b > .方法是利用Adjan伪算法 ,因而证明了Adjan伪算法对此问题是算法 。