A graph of states which is closed and connected.
![](/ox-hugo/2022-04-07_10-50-57_screenshot.png)
Also relating to this is a derived variable. One way to prove reaching any state is via Floyd’s Invariant Method.
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’s Invariant Method.