 They qualify as an abstract family of languages (furthermore a full AFL) and hence satisfy many closure properties.However, they are not closed under intersection or complement.The class of indexed languages has generalization of context-free languages, since indexed grammars can describe many of the nonlocal constraints occurring in natural languages.