規約機

規約機(reduction machine) 是一種面向函式式語言的非馮諾依曼結構的計算機。常見的規約有串規約機和圖規約機兩類，其中串規約機中信息以字元串存儲，可以不經翻譯直接執行，而圖規約機則以圖為處理對象。

規約機(reduction machine) 一種面向函式式語言的非馮諾依曼結構的計算機。函式式語言是面向人和問題的語言。為了解決函式式語言因結構不適應而引起的性能差、運行效率低等弊端，提出了規約機的概念。規約機主要有以下幾個特點：根據表達式攜帶的運算信息進行表達式的處理；擺脫根據指令流的被動操作，按照固定算法並發的對表達式進行處理；使用通過函式式語言編寫的程式；使用語言的數據結構具有邊界性、單一性、動態性和構造性。常見的規約機分為串規約機和圖規約機兩類，串規約機中信息以字元串存儲，可以不經翻譯直接執行，而圖規約機是以圖為處理對象的規約機。