Registre de correu electrònic: Inductive Synthesis of Cover-Grammars with the Help of Ant Colony Optimization