ASA - Autómatos, Semigrupos e Aplicações
(Automata, Semigroups and Applications)