defined expectation system, which is a more compact way than machines to describe strategies in the local interaction setup …, although essentially the expectation system can also be viewed as a finite state automaton. The belief system is derived by …