索引式語言是AlfredAho發現的一類形式語言；它們由索引式語法描述，可以由嵌套堆棧自動機識別。索引式語言是上下文敏感語言的一個適當的子集。它們有資格成為一個抽象的語言家族（進一步說是一個完整的AFL），因此滿足許多封閉屬性。然而，它們在相交或互補下是不封閉的。索引語言類在自然語言處理中具有實際的重要性，因為索引語法可以描述自然語言中出現的許多非局部約束。現在被稱為線性索引語法（LIG）。相對于IG，線性索引語法有額外的限制。LIG與樹狀鄰接語法是弱等價的（產生相同的語言類）。

以下語言是有索引的，但不是無語境的。{displaystyle{a{n}b{m}c{n}d{m}|m,ngeq0}}。這兩種語言也是有索引的，但在Gazdar的表征下，甚至沒有輕微的語境敏感性。{displaystyle{(ab{n}){n}|ngeq0}}。

Hopcroft和Ullman傾向于將索引語言視為一個自然類，因為它們是由幾種形式主義產生的，例如。Aho的索引語法Aho的單向嵌套堆棧自動機Fischer的宏觀語法Greibach的帶堆棧的自動機Maibaum的代數特征Hayashi將抽水定理推廣到索引語法。相反，Gilman給出了索引語言的收縮定理。