# State Machines

A state machine is a behavior model. It consists of a finite number of states and is therefore also called FSM. Based on the current state and a given input the machine performs state transitions and produces outputs.

<figure><img src="https://62720068-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FNQrWPKDHvXg0HQjwzHbY%2Fuploads%2Fxt9Iu6jnPEmUDGHbQWJg%2Fimage.png?alt=media&#x26;token=2062253c-4848-4a66-92d4-c2c0d8c4b3b9" alt=""><figcaption><p>Transactions Produce outputs from state 1 to state 2</p></figcaption></figure>

<figure><img src="https://62720068-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FNQrWPKDHvXg0HQjwzHbY%2Fuploads%2Fy46XzFWlsG3qidjkjvHi%2Fimage.png?alt=media&#x26;token=73b6e876-2b60-4fa3-8e0a-02b340bb2769" alt=""><figcaption><p>Blockchain State Change between 4 different verifiable states</p></figcaption></figure>
