Context: Finite State, State transition system -> state transition function
I'm trying to understand what is being meant by this formula:
$γ:S \times A \times E \to 2^S$
The text above (translated from German into english) says:
How a state can be changed is described by a (yet still unknown) function which calculates a possible next state which is triggered by an action or an exogenous event.
I understand that $S$ is a set of states, $A$ a set of Actions and $E$ a set of exogenous events but what does $2^S$ say?
$2^S$ is the power set of $S$. $\gamma : S \times A \times E \to 2^S $ means that from a state $s$ the transition system goes to a set of states depending on what action $a \in A$ and event $e \in E$ are chosen. This means that the transition system is nondeterministic because from one state we can go to many different states with the same action and event.