... interpretation of the derives relation relative to the behavior of the stack of indices. In IGs the stacks of indices aredistributed over the non-terminals of the right-hand side of the rule. In ... here.orems of GILs in terms of the LR-2PDA and GIGs. The family of GILs is an Abstract Fam-ily of Language. The goal of this paper is to show the relevance of GIGs for NL modeling and processing. ... P, S), where V is the set of variables,T the set of terminals, I the set of indices, Sin V is the start symbol, and P is a finite set of productions of the form, where A, B ∈ V ,α, γ ∈ (V ∪ T...