Continues from Actors for the Ackermann machine . In this post we see the first interaction between the actors.
Notations: each actor has an address and a stack .
Let the play begin. The cast is the following:
At the beginning of the performance, the actors are in the following configuration
Only with can interact (i.e. the only moves in GLC which may happen between actors are those between the mentioned ones). Their interaction is a form of pure communication (via the graphic beta move). Two such moves are possible, in succession. This is described in the next figure, along with the changes in the actors configuration.
The performance is thrilling: the actor is almost exhausted after forcing the actor to drop down his mask. In the process lost his friends and (with his buddy ) in favour of . Only is still taking the side of . What will happen next?
At this stage, no other interaction is possible without revealing what is really thinking (what’s in his stack ). The first act is over.