泰格系统(Tag system)一种特殊的波斯特正规系统.它是由波斯特(Post ， E. L.)于20世纪20年代首先研究的.这种系统以{0，1}为字母表，其产生式都是形如a;->}3的一元产生式，并且同一个泰格系统中所有产生式之前提都具有相同的长度.不仅如此，其产生式被前提中的第一个字母所确定，即当两个产生式a，-月‘和a}->风中前a;，a，的第一个字母相同时，必有a;=a}和}j} _风.阂斯基(Min-sky，M. L.)于1961年证明了任何递归函数都可用某个泰格系统来计算.这种限制极强的系统与图灵机有相同的计算能力.1921年，波斯特提出了一个与泰格系统相关的问题:设泰格系统T的产生式为Oabx->x00和labx->x1101，其中a，bE {0，1}，二为变量，则对QE X0，1}"，在T中从Q出发的产生过程是否会进行无穷循环.此问题至今尚未解决.