阅读本文：
http://www.cs.nyu.edu/~mohri/pub/fla.pdf
我看到加权有限状态传感器（WFST）是半环形的，WFST上的许多操作可以用半环上的“和”和“乘积”来表示。例如，传感器1和2的组成是：
(T1 ◦ T2)(x, y) = ⊕ z∈∆∗ T1(x, z)⊗T2(z, y)
但我似乎无法找到关于如何使用WFST的纯和和产品的解释，并且无法从上面的组合示例中退出操作。
非常感谢对此示例的演示：
format: state1 state2, input alphabet : output alphabet, transition prob
T1
0 1 a : b, 0.1
0 2 b : b, 0.2
2 3 b : b, 0.3
0 0 a : a, 0.4
1 3 b : a, 0.5
T2
0 1 b : a, 0.1
1 2 b : a, 0.2
1 1 a : d, 0.3
1 2 a : c, 0.4
示例摘自：How to perform FST (Finite State Transducer) composition
--------------- update ------------
在本文档中找到答案：http://www.cs.nyu.edu/~mohri/pub/hwa.pdf
第12页