For more about morphology and finite state transducers see [JM00] chapter 3. You can also find some more details about the mathematical properties of FSTs there.