什么是契約機？

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