標記系統

標記系統是 Emil Leon Post 在1943年創立的確定性計算模型 ， 作爲一種簡單形式的字符串重寫系統 。 標記系統也可以看作抽象機 ， 叫做 Post 標記機 （ 不要混淆於Post - 圖靈機 ） — — 簡單的說 ， 其唯一的磁帶是無限長度的FIFO隊列的有限狀態自動機 ， 在每次狀態轉變中機器讀在隊列頭部的符號 ， 從頭部刪除固定數目的符號 ， 並可以向尾部增加符號 。