Our feeling is that analogy between strings of symbols is an operation as fundamental as, e.g., addition is to natural numbers.
for recognition, the strings in the pairs of M are used in the reverse order they appear in M, and the analogies are solved in the other direction than for generation.