Uncontrolled finite-index indexed grammars have also been studied under the name of
breadth-bounded indexed grammars in [1]}, [2]}, where
it was shown that the languages generated by these grammars are a semilinear full trio.
