22. August 2013

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.