标记系统是 Emil Leon Post 在1943年创立的确定性
计算模型，作为一种简单形式的字符串重写系统。
标记系统也可以看作抽象机，叫做Post 标记机（不要混淆于Post-图灵机）——简单的说，其唯一的磁带是无限长度的
FIFO队列的
有限状态自动机，在每次状态转变中机器读在队列头部的符号，从头部删除固定数目的符号，并可以向尾部增加符号。
术语m-标记系统经常用来强调删除数。定义在文献 [1][2][3][4] 有着不同，上面的定义（来自[4]）可能最适合作为
计算模型：
对于每个m> 1，m-标记系统的集合是
图灵完全的。特别是，Rogozhin [4] 建立了 2-标记系统普遍性的类，使用字母表 {a1, ...,an,H} 和相应的产品 {ananW1, ...,ananWn-1,anan,H}，这里的Wk是非空字。