Remarks concerning finitely generated semigroups having regular sets of unique normal forms
Andrew Cutting, Andrew Solomon · Journal of the Australian Mathematical Society · 2001
Abstract Properties such as automaticity, growth and decidability are investigated for the class of finitely generated semigroups which have regular sets of unique normal forms. Knowledge obtained is then applied to the task of demonstrating that a class of semigroups derived from free inverse semigroups under certain closure operations is not automatic.