Text this: Automata-Theoretic Aspects of Formal Power Series