This paper studies FA-presentable structures and gives a complete classification of the finitely generated FA-presentable
cancellative semigroups. We show that a finitely generated cancellative semigroup is FA-presentable if and only if it is a
subsemigroup of a virtually abelian group.