When the left-hand side of composition is a transducer and the right-hand side is an acceptor, then their composition produces a transducer in which the range of the left-hand side relation is intersected with the set of strings accepted by the righthand side argument.
if A transduces string x to strings {y, z}, and B accepts y then A • B transduces from x to y.