Email Record: Finiteness and regularity in semigroups and formal languages /