Машина для редукции графов - Википедия - Graph reduction machine

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

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

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

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

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

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