languages of the machines