Necessary and sufficient conditions on a monoid M are found in order that M be isomorphic to the syntactic monoid of a language L over an alphabet X having one of the ...