  Two-player (antagonistic) games on (possibly stochastic) graphs are a
prevalent model in theoretical computer science, notably as a framework for
reactive synthesis.
  Optimal strategies may require randomisation when dealing with inherently
probabilistic goals, balancing multiple objectives, or in contexts of partial
information. There is no unique way to define randomised strategies. For
instance, one can use so-called mixed strategies or behavioural ones. In the
most general settings, these two classes do not share the same expressiveness.
A seminal result in game theory - Kuhn's theorem - asserts their equivalence in
games of perfect recall.
  This result crucially relies on the possibility for strategies to use
infinite memory, i.e., unlimited knowledge of all past observations. However,
computer systems are finite in practice. Hence it is pertinent to restrict our
attention to finite-memory strategies, defined as automata with outputs.
Randomisation can be implemented in these in different ways: the
initialisation, outputs or transitions can be randomised or deterministic
respectively. Depending on which aspects are randomised, the expressiveness of
the corresponding class of finite-memory strategies differs.
  In this work, we study two-player turn-based stochastic games and provide a
complete taxonomy of the classes of finite-memory strategies obtained by
varying which of the three aforementioned components are randomised. Our
taxonomy holds both in settings of perfect and imperfect information, and in
games with more than two players.
