OpenFST - creating FST's from list of words

Question

I\'m reading the top example: http://www.openfst.org/twiki/bin/view/FST/FstExamples about tokenization.

In the example, they create three fsts: Mars.fst,