Weighted finite-state transducer (WFST)