WeightedFinite-StateTransducerAlgorithmsAnOverview