一種 標籤系統，其中 
個標籤規則（每個規則都具有特殊形式）的列表按順序應用於系統，然後從第一個規則重新開始。在迴圈標籤系統中，每組標籤規則都具有特殊的結構：當且僅當當前模式的第一個元素為 1 時，才附加一個模式；並且無論第一個元素是 0 還是 1，第一個元素都會被刪除。
例如，考慮一個由白色和黑色單元格組成的狀態，分別標記為 0 和 1，以及迴圈標籤系統 
和 
，初始狀態為 
，如上圖所示。根據要求，此係統始終刪除第一個元素，並且當且僅當第一個單元格為黑色時才附加特定模式。
1. 在第一步中，最左邊的元素是 1，因此應用第一個規則得到 
，因為附加了 
，然後刪除了初始的 
。
2. 應用第二個規則在末尾新增 
並刪除第一個元素，得到 
。
3. 再次應用第一個規則在末尾新增 
並且（像往常一樣）刪除第一個元素，得到 
。
4. 再次應用第二個規則得到 
，依此類推 (Wolfram 2002, p. 95)。
可以構建一個迴圈標籤系統來模擬任何 圖靈機，因此通用的迴圈標籤系統是可能的 (Wolfram 2002, p. 678)。
