Graph_reduction_machine