13. January 2016

Automata in SageMath—combinatorics meets theoretical computer science