Finite state machines, automata, transducers

Sage is a free open-source mathematics
software system. For a huge range of areas, it offers tools for
calculations. The aim of this contribution is to extend its
functionality to finite state machines, in particular to automata and
transducers.

The first Sage-versions shipped out with the finite state machine
module were 5.13 and 6.0. (Note that Sage 6.0 is essentially the same
as Sage 5.13, except that development transitioned to
Git.) You can find a documentation of the
module in the Sage Reference
Manual. There,
a lot of examples are given.

This article was software on 15. December 2013, http://trac.sagemath.org/15078, 2013, module in Sage 5.13.
(history:
submitted on 22. August 2013, accepted on 25. November 2013, published on 15. December 2013)