Karl Jones: Created page with "A '''graph reduction machine''' is a special-purpose computer built to perform combinator calculations by graph reduction. Examples include the..."

2016-09-15T14:22:48Z

Created page with "A '''graph reduction machine''' is a special-purpose computer built to perform combinator calculations by graph reduction. Examples include the..."

New page

A '''graph reduction machine''' is a special-purpose [[computer]] built to perform [[Combinatory logic|combinator]] calculations by [[graph reduction]].

Examples include the SKIM ("S-K-I machine") computer, built at the University of Cambridge Computer Laboratory, and the multiprocessor GRIP ("Graph Reduction In Parallel") computer, built at University College London.

== See also ==

* [[Combinatory logic]]
* [[Graph reduction]]
* [[SECD machine]]

== External links ==

* [https://en.wikipedia.org/wiki/Graph_reduction_machine Graph reduction machine] @ Wikipedia.org

[[Category:Computing]]
[[Category:Mathematics]]

Graph reduction machine - Revision history

Karl Jones: Created page with "A '''graph reduction machine''' is a special-purpose computer built to perform combinator calculations by graph reduction. Examples include the..."