![finite state automata superset finite state automata superset](http://images.slideplayer.com/18/6104641/slides/slide_7.jpg)
For each state, there is a transition arrow leading out to a next state for both 0 and 1. Stack Exchange network consists of 178 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers. Even the most basic Session object, like the example Test FSM, will have two contexts. To keep this structure a Session object keeps an stack of states called SessionContext.
![finite state automata superset finite state automata superset](https://d3i71xaburhd42.cloudfront.net/ef37f0bf558148dd2b830abdd4dfbb406b50e2f7/3-Figure1-1.png)
Nested State mean that a given FSM state, can refer another FSM. The automaton takes a finite sequence of 0s and 1s as input. In Automata, FSM are States by definition. In this example automaton, there are three states: S 0, S 1, and S 2 (denoted graphically by circles). Each cell of its stack either contains an " A" or a space symbol. The figure illustrates a deterministic finite automaton using a state diagram.