波斯特系统(Post system)亦称波斯特正规系统或组合系统，一种形式系统，它是由波兰一美国数理逻辑学家波斯特(Post,E. L.)于20世纪20年代研究并在1943年发表的。

简介：它在形式上与逻辑中的形式系统十分相像，具体地，所谓波斯特系统PS，包括一个字母表艺(其中的常元和变元分别组成二和v，且=yUv＞ ,上的字组成的有穷公理集s(S中字也称原始假设)和一个有穷的产生程序尸，尸中的元素为形如(al,aZ,...,aa)的n元产生式(W为某个自然数)；其中a都是艺上的字，这种产生式记为al,aZ,...,an-＞ a.在运用此产生式时，先把诸a中的变元都用艺。中的字一致地替代(即同一变元用相同的字替代)，这样便得到反，，反2，…，吞，，。.此时可依产推出“a.若aEW，并且从PS的公理S出发，有穷多次运用P中的产生式可以推出Q，则称Q为PS的一个定理.PS的全体定理组成波斯特系统PS产生的语言LIPS)一个语言L可以被某个波斯特系统产生，当且仅当L为递归可枚举的。

实际上，在波斯特系统中，可以限定所有的产生式都形如uA-＞ Aw，其中A为变元，u,wE乏‘，并约定只有一条初始假设，它们仍能产生所有递归可枚举的语言。即对波斯特系统的这种限制并没有减弱波斯特系统的力量，因此，在许多情形，波斯特系统被定义成这种受限制的形式。这种系统称为正规系统.它们实际上是由布契(Buchi,J. R.)于1964年首先引进的.但是，如果进一步把产生式限制到形如:A-＞ wA(称为右正则的)或限制到Au-＞ Aw(称为左正则的)时，就只能产生出正规语言类(参见“乔姆斯基分层”)，而不能产生出全体递归可枚举语言来。此时，它们的力量仅与有穷自动机相当。