Some decidability and undecidability results on green's relations for automatic monoids

摘要

We consider the problem of deciding Green's relations for various types of finitely presented automatic monoids. We establish some decidability as well as some undecidability results.