WFST中的一些概念

WFST是基于半环代数理论的，在介绍半环之前我先简单的说一下群和半群。

群（Group）：G为非空集合，如果在G上定义的二元运算*，满足： 
（1）封闭性（Closure）：对于任意a,b∈G,有a∗b∈G; 
（2）结合律（Associativity）：对于任意a,b,c∈G,(a∗b)∗c=a∗(b∗c); 
（3）幺元（Identity）：存在幺元e，使得对于任意a∈G,e∗a=a∗e=a; 
（4）逆元：对于任意a∈G,存在逆元a−1∗a=a∗a−1=e. 
则称（G,*）为群。

半群（Semigroup）：仅满足封闭性和结合律群称为半群；如果还包含幺元，则成为幺元半群。

介绍完群和半群，我们就引入半环的概念，半环代数理论始于19世纪末，属于抽象代数的范畴，1934年Vandiver首次对它做了较为系统的研究。

半环（semiring）：指具有两个二元运算”+ “和”⋅ “的非空集合S，且满足： 
（1）（S,+）和（S,⋅）都是半群； 
（2）（∀a,b,c∈S）,（a+b）c=ac+bc,c(a+b)=ca+cb. 
半环的表现形式是（K，⨁, ⨂, ‘0’, ‘1’)，其中K是一个数集，⨁和⨂是两个二元操作，’0’和’1’是特定的（designated）零元素和幺元素（不一定是真正的数0和数1）。下表是一些常见的半环结构实例： 

PLUS combines scores in parallel.  

TIMES combines scores in series.

 ZERO is the neutral element for PLUS: ZERO PLUS x = x and x PLUS ZERO = x.  

ONE is the neutral element for TIMES: ONE TIMES x = x and x TIMES ONE = x.  

Additionally, ZERO TIMES x = ZERO and x TIMES ZERO = ZERO.  

Idempotent means that ONE PLUS x = ONE.