Now showing items 1-2 of 2

  • Automatic presentations and semigroup constructions 

    Cain, Alan J.; Oliver, Graham; Ruskuc, Nik; Thomas, Richard M. (2010-08) - Journal article
    An automatic presentation for a relational structure is, informally, an abstract representation of the elements of that structure by means of a regular language such that the relations can all be recognized by finite ...
  • Automatic presentations for semigroups 

    Cain, Alan James; Oliver, Graham; Ruskuc, Nik; Thomas, Richard M. (2009-11) - Journal article
    This paper applies the concept of FA-presentable structures to semigroups. We give a complete classification of the finitely generated FA-presentable cancellative semigroups: namely, a finitely generated cancellative ...