The diagrams are weird... usually the graphical notation "a/4" for an arc of an FST would mean that "4" is a weight and the arc is an acceptor arc (input and output are the same) with label "a". So I'd expect that to actually be "a:4".
It looks like this only supports unweighted finite state transducers?