An automata-theoretic approach to the study of the intersection of two submonoids of a free monoid