Email Record: Algebraic and automata-theoretic properties of formal languages /