Email Record: Automata-theoretic aspects of formal power series /