Right, what would be the states in it? What would be the state-transitions? How many are there? How does it model a physical system with multiple states and state-transitions?

Can a functional program return to its previous state ever? If not I don't think it should be called "state-machine".

It can calculate what should be the next state of some state-machine, but that does not mean it is that "state-machine".