波斯特有窮組合過程(Post's finite combinato-ry process)一種計算模型.它是波蘭一美國數理邏輯學家波斯特(Post , E. L.)提出的.獨立於英國數學家圖靈(Turing, A. M.)的工作，波斯特於1936年提出了另一種刻畫能行過程的計算模型—有窮組合過程.這種模型有一個雙向無窮並分割成兩兩等的單元的紙帶(波斯特稱之為符號空間)及一個讀寫頭.讀寫頭每次對準一個紙帶單元，並可進行下列基本操作:
1.當所指單元為空時(記為0)，在其中寫上符1，此操作記為m.
2.當所指單元中有符號1時，將其抹去，此操記為。.
3.左移一個單元，記為2.
4.右移一個單元，記為:.
5.判定單元中是否有“1"，記為t.
讀頭的操作由一個指令集合控制.其中每條指令都有一個固定的編號，並具有下列三種形式之一:
1. aj(aE {e,m,r,l}).意指執行a操作，並且接下去執行第J條指令.
2. tjk.意指先執行操作t，如單元中有1，則下面再執行第J條指令，否則下面執行第k條指令.
3.、·意指停止.波斯特有窮組合過程與圖靈機的思想是十分相似的，實際上它們是對能行過程的兩種完全等價刻
1.當所指單元為空時(記為0)，在其中寫上符1，此操作記為m.
2.當所指單元中有符號1時，將其抹去，此操記為。.
3.左移一個單元，記為2.
4.右移一個單元，記為:.
5.判定單元中是否有“1"，記為t.
讀頭的操作由一個指令集合控制.其中每條指令都有一個固定的編號，並具有下列三種形式之一:
1. aj(aE {e,m,r,l}).意指執行a操作，並且接下去執行第J條指令.
2. tjk.意指先執行操作t，如單元中有1，則下面再執行第J條指令，否則下面執行第k條指令.
3.、·意指停止.波斯特有窮組合過程與圖靈機的思想是十分相似的，實際上它們是對能行過程的兩種完全等價刻
