Máquina de redução de gráfico - Graph reduction machine

Uma máquina de redução de gráfico é um computador de propósito especial construído para realizar cálculos combinadores por redução de gráfico .

Os exemplos incluem o computador SKIM ("SKI machine"), construído no University of Cambridge Computer Laboratory , e o computador multiprocessador GRIP ("Graph Reduction In Parallel"), construído na University College London .

Veja também

Referências

  • TJW Clarke, P. Gladstone, C. MacLean, AC Norman: SKIM - The S, K, I Reduction Machine . Conferência LISP, 1980: 128-135

links externos