Vitalsource Technologies, Inc. Finiteness And Regularity In Semigroups And Formal Languages