A `` formal series '' is a `` R '' -written function `` c '' , on the free monoid `` A '' , which may be valued as
A `` formal series '' is a `` R '' -valued function `` c '' , on the free monoid `` A '' , which may be written as