Indexed Languages Are Closed Under Kleene Star #

Given an indexed grammar g, the star grammar adds a fresh start nonterminal with rules S⋆ → S S⋆ and S⋆ → ε, and otherwise contains a lifted copy of every rule of g.