machine states