info:eu-repo/grantAgreement/FCT/5876-PPCDTI/PTDC%2FMAT%2F65481%2F2006/PTAutomata, Semigroups and Applications