所以通读这篇论文：
http://www.cs.nyu.edu/~mohri/pub/fla.pdf
我看到加权有限状态换能器（WFST）是一个半环，WFST 上的许多操作可以用半环上的“和”和“乘积”来表示。例如，传感器一和二的组成为：
(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
示例取自：如何执行 FST（有限状态传感器）组合
- - - - - - - - 更新 - - - - - -
在本文档中找到了答案：http ://www.cs.nyu.edu/~mohri/pub/hwa.pdf
第 12 页