 Program definitions for strategies given here are closely related to the use of finite automata for defining strategies in computer science and game theory (Osborne &amp; Rubinstein 1994; Grädel, Thomas, &amp; Wilke 2002; Ramanujam &amp; Simon 2008).