全局索引語法（GIGs）是Casta?o（2004）介紹的一類語法，目的是對一些現象進行建模，包括自然語言語法和基因組語法。對GIGs最簡單的描述是通過與索引語法的比較。在索引式語法中，每個非終端符號都有一個索引堆棧，并且可以根據推導過程的不同而變化，而在GIG中，有一個單一的全局索引堆棧，在推導過程中被操作（對于任何將符號推到堆棧中的重寫操作，它都是嚴格的最左邊）。由于全局堆棧的存在，當沒有非終端符號需要重寫，并且堆棧為空時，GIG推導被認為是完整的。規則描述GIG規則基本上有四種形式：無條件做某事的規則，以堆棧最上面的符號為條件做某事的規則，向堆棧推送的規則，以及從堆棧彈出的規則。我們可以將這些規則依次記為其中f是任何索引符號，α是任何終端和/或非終端符號的字符串，x是一個終端是一個終端符號。因為偶爾重寫規則可能需要以堆棧在某種意義上是空的為條件，所以符號#被用作最底層的堆棧符號，這意味著一個空的堆棧正好包含一個符號，#。

第三種規則形式，即推送規則，應該指出，因為它與彈出規則不同，要求所有的推送操作至少要給派生字符串引入一個新的終端符號。如果沒有這個約束，這類語法將是Type-0，因此是圖靈完全的。

在這個例子中，我們將通過把推導字符串放在一個堆棧上來表示推導的步驟，如{displaystyle{p(a{n}b{n}c{n}):ngeq1}}，其中p是字符串互換函數，它被猜測（但未被證明）為不可表示為索引語言。，其中p是字符串互換函數，據猜測（但沒有證明），它不能作為一種索引語言來表示。目前還不知道是否所有的IG也是GIG。GIGs和IGs完全有可能描述CSLs的僅僅重疊的子集。trGIGsGIGs的一個子類是trGIGs，它通過要求pop規則在派生中至少引入一個終端符號，使pop和push規則統一。