 Indexed language

Indexed languages are a class of formal languages discovered by Alfred Aho; they are described by indexed grammars and can be recognized by nested stack automata.Indexed languages are a proper subset of context-sensitive languages.