Text this: Finiteness and regularity in semigroups and formal languages /