A: Feature space mapping for biological sequences using a FST over the log semiring: Every transition has an attached input and output symbol separated by a colon, and an associated weight. Symbols can either be kept, substituted or deleted. Composition of such a transducer with its own inverse yields a pd rational kernel. The alphabet has been reduced to two symbols for illustration purposes,

depicts a gap or epsilon transition.
B: Result of the composition of the transducer encoding the feature space mapping with its inverse: The starting state (state 0) corresponds to the match state, the additional two colored states (states 1, 2) encode insertion and deletion states. The transitions to the gap states are scored with gap open costs and the self transitions in the gap state with gap extend costs. The additional fourth state (3) is a result of the epsilon filtering process during composition.