Formally, an FSM is a tuple (Σ, S,s0, δ, F), where: Σ is the input, that is, a finite set of symbols; S is a finite set of states or modes; s0 ∈ S is the initial state; δ is the state transition function δ : S × Σ→S; F is the set of final states, that is, a subset of S.
things that might be hard to understand