A-Rational-Design-for-a-Weighted-Finite-State-Transducer-Library