Weighted Finite-State Transducers(WFST,加权有限状态转换器)
总结来源于此。加粗圈代表初始状态(0);普通圈代表中间状态(1,2);双圈代表终止状态(3)。1.∑是输入集合∑={a,b,c,d}2.∆是输出集合∆={A,B,C,D}3.Q是所有的状态集合Q={1,2,3,4}4.I⊆Q是初始状态集合,Openfst中一般只有1个I={0}5.F⊆Q是终止状态集合,通常有1个或多个F={3}6.E⊆Q×(∑∪{ε})×(∆∪{ε})×K×Q代表所有状态之间的转