a model of a machine