标记系统 标记系统是 Emil Leon Post 在年创立的确定性计算模型作为一种简单形式的字符串重写系统标记系统也可以看作抽象机叫做 Post 标记机不要混淆于Post图灵机简单的说其唯一的磁带是无限长度的FIFO队列的有限状态自动机在每次状态转变中机器读在队列头部的符号从头部删除固定数目的符号并可以向尾部增加符号