theory of machines exam