Title: Automata-Theoretic Aspects of Formal Power Series