SD Theory of Machines