Parikh`s theorem