Title: Formal series, finiteness properties and decision problems
Subjects: Formal languages, Machine theory, Series