什么是契約機(jī)？

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