added example using string parser, i.e. A^* in signatures and grammars