Theory of Machines GATE