Is Reactivity a Formalism?

Finite state machines are not the best-suited for client-side manipulation of non-client-side. They often require some kind of DSL in themselves, because you need to be able to describe the states. I think if you're ready to make that investment and the logic is complicated enough, that makes a lot of sense,. But it turns on the problem you're trying to solve.