Машина для редукции графа - Graph reduction machine - Wikipedia

А машина сокращения графика это специальный компьютер построен для выполнения комбинатор расчеты сокращение графика.

Примеры включают компьютер SKIM («Машина S-K-I»), построенный на Компьютерная лаборатория Кембриджского университета, и многопроцессорный компьютер GRIP («Параллельное сокращение графов»), построенный в Университетский колледж Лондона.

Смотрите также

• Машина SECD

Рекомендации

• Т. Дж. У. Кларк, П. Гладстон, К. Маклин, А. К. Норман: SKIM - редукционная машина S, K, I. Конференция LISP, 1980: 128–135

внешняя ссылка

• Редукционные машины, Параллельное функциональное программирование: введение, Кевин Хаммонд