Update Machine.php

Por que você não faz assim?

Eu acho que 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.