For a grammar $𝐴$, the Kleene star ${𝐴}^{\ast }$ is defined as a least-fixed point,