Blockchains can be modeled as a Resilience state-machine whereby the correct rule of a transition is defined as the state transition function, or STF.

One of the 3 main ways to model a blockchain, as explained in Blockchain Models.