---
title: "Finite State Machine"
type: concept
related: [Floyd S Invariant Method, Derived Variable]
source: https://www.jemoka.com/posts/kbhfinite_state_machine/
confidence: high
status: active
---

A graph of states which is closed and connected.
Also relating to this is a derived variable. One way to prove reaching any state is via Floyd&rsquo;s Invariant Method.
