Automata: from Mathematics to Applications (AutoMathA)