A Language of Machines