加权有限状态转录机(Weighted Finite-State Transducer/WFST)