01. April 2015

Automata and transducers in SageMath