The number of paths may be exponential in the size of T , or infinite if T is cyclic.
in contrast to WFSTs, we abandon this combinatorial structure in favor of neural nets when defining the probability distribution over a.