由于您没有指定输入格式，我假设 0 是初始状态，第二列中出现但不是第一列中出现的任何整数都是接受状态（T1 为 3，T2 为 2），并且每行都是转换关系的元素，给出前一个状态、下一个状态、输入字母和输出字母。
对FST的任何操作都需要产生一个新的FST，因此我们需要状态、输入字母表、输出字母表、初始状态、最终状态和转移关系（下面按顺序给出FST A、B和W的规范） ）。假设我们的 FST 是：
A = (Q, Σ, Γ, Q0, QF, α)
B = (P, Γ, Δ, P0, PF, β)
我们想找到
W = (R, Σ, Δ, R0, RF, ω) = A ∘ B
请注意，我们不需要确定 W 的字母表；组合的定义就是这样做的。
想象一下串联运行 A 和 B，A 的输出磁带作为 B 的输入磁带。组合 FST 的状态只是 A 和 B 的组合状态。换句话说，组合状态是各个 FST 状态的叉积。
R = Q × P
在您的示例中，W 的状态将是整数对：
R = {(0,0), (0,1), ... (3, 2)}
尽管我们可以重新编号并得到（例如）：
R = {00, 01, 02, 10, 11, 12, 20, 21, 22, 30, 31, 32}
类似地，组合 FST 的初始状态和接受状态是组成 FST 中状态的叉积。特别是，R 接受一个字符串iff http://en.wikipedia.org/wiki/If_and_only_ifA 和 B 都接受该字符串。
R0 = Q0 × P0
RF = QF × PF
In the example, R0 = {00} and RF = {32}.
All that remains is to determine the transition relationship ω. For this, combine each transition rule for A with every transition rule for B that might apply. That is, combine each transition rule of A (qi, σ) → (qj, γ) with every rule of B that has a "γ" as the input character.
ω = { ((qi,ph), σ) → ((qj, pk), δ) : (qi, σ) → (qj, γ) ∈ α,
(ph, γ) → (pk, δ) ∈ β}
在示例中，这意味着组合（例如）0 1 a : bT1 的0 1 b : a and 1 2 b : aT2 得到：
00 11 a : a
01 12 a : a
同样，你可以结合0 2 b : bT1 与那些相同0 1 b : a and 1 2 b : a of T2, 0 0 a : aT1 的1 1 a : d and 1 2 a : cT2 等。
请注意，您可能具有无法到达的状态（那些永远不会显示为“下一个”状态的状态）和永远不会发生的转换（来自无法到达的状态的状态）。作为优化步骤，您可以删除这些状态和转换。不过，保留它们不会影响构造的正确性；这只是一个优化。
