Maszyna do redukcji wykresów
Maszyna do redukcji grafów to komputer specjalnego przeznaczenia zbudowany do wykonywania obliczeń kombinatorów poprzez redukcję grafów .
Przykłady obejmują komputer SKIM („maszyna SKI”), zbudowany w Laboratorium Komputerowym Uniwersytetu Cambridge oraz komputer wieloprocesorowy GRIP („Graph Reduction In Parallel”), zbudowany w University College London .
Zobacz też
- T. JW Clarke, P. Gladstone, C. MacLean, AC Norman: SKIM - The S, K, I Reduction Machine . Konferencja LISP, 1980: 128-135
Linki zewnętrzne
- Maszyny redukujące , równoległe programowanie funkcyjne: wprowadzenie, Kevin Hammond