Update Machine.php

Tipar o paramêtro que deve ser passado é melhor que fazer um if com instanceof.
Menos código, mais fácil de entender e se utilizar um IDE, ele já fará a interpretação do método, dizendo que o parâmetro tem que ser um State