Understanding programme machines