標記系統- 維基百科，自由的百科全書 - Wikipedia

標記系統 維基百科，自由的百科全書 跳至導覽 跳至搜尋 標記系統是EmilLeonPost在1943年創立的確定性計算模型，作為一種簡單形式的字符串重寫系統。

標記系統也可以看作抽象機，叫做Post標記機（不要混淆於Post-圖靈機）——簡單的說，其唯一的磁帶是無限長度的FIFO隊列的有限狀態自動機，在每次狀態轉變中機器讀在隊列頭部的符號，從頭部刪除固定數目的符號，並可以向尾部增加符號。

目錄 1定義 2例子 3引用 4外部連結 定義[編輯] 標記系統是三元組(m,A