, |x|} |y| , which has an interpretation as the set of all (potentially non-monotonic) alignments from x to y with the restriction that each output symbol y i aligns to exactly one symbol in x ∈ Σ * x .
a is the set of all manyto-one alignments between x and y where many may be as few as zero.