Considere os seguintes FSTs:

T1 

0 1 a : b
0 2 b : b
2 3 b : b
0 0 a : a
1 3 b : a

T2

0 1 b : a
1 2 b : a
1 1 a : d
1 2 a : c

Como faço para executar a operação de composição nesses dois FSTs (ou seja, T1 ou T2), vi alguns algoritmos, mas não consegui entender muito. Se alguém pudesse explicar de uma maneira fácil, seria uma grande ajuda.

Observe que este NÃO é um dever de casa. O exemplo é retirado dos slides das palestras em que a solução é fornecida, mas não consegui descobrir como chegar a ela.