目的符号，并可以向尾部增加符号。
定义."标记系统"是三元组 ("m", "A", "P")，这里的术语m-标记系统经常用来强调删除数。定义在文献 [1][2][3][4] 有着不同，上面的定义（来自[4]）可能最适合作为计算模型：对于每个 "m" > 1，"m"-标记系统的集合是图灵完全的。特别是，Rogozhin [4] 建立了 2-标记系统普遍性的类，使用字母表 {"a", ..., "a", H} 和相应的产品 {"aaW", ..., "aaW", "aa", H