堆棧

堆疊（stack）又稱為棧或 ，是計算機科學中的一種抽象資料型別，只允許在有序的線性資料集合的一端（稱為堆疊頂端，top）進行加入數據（push）和移除數據（pop）的運算. 因而按照後進先出（LIFO, Last In First Out）的原理運作. 常與另一種有序的線性資料集合佇列相提並論. 堆疊常用一維數組或連結串列來實現. 堆疊使用兩種基本操作：推入（壓棧，push）和彈出（彈棧，pop）： * 推入：將資料放入堆疊頂端，堆疊頂端移到新放入的資料. * 彈出：將堆疊頂端資料移除，堆疊頂端移到移除後的下一筆資料. 堆棧的基本特點： # 先入後出，後入先出. # 除頭尾節點之外，每個元素有一個前驅，一個後繼. 以下是堆棧的VDM： 函數簽名： init: -> Stack push: N x Stack -> Stack top: Stack -> (N \cup ERROR) pop: Stack -> Stack isempty: Stack -> Boolean 此處的N代表某個元素（如自然數），而\cup表示集合求並. 語義： top(init) i