Graph reduction machine とは

グラフリダクションマシンは、グラフ削減によるコンビネータ計算を実行するために構築された専用コンピュータです。
例としては、ケンブリッジコンピュータ研究所で構築されたSKIM(「S-K-Iマシン」)コンピュータ、ロンドン大学ユニバーシティカレッジで構築されたマルチプロセッサGRIP(「Graph Reduction In Parallel」)コンピュータが挙げられる。