S       ->      A(1,0)

 

A(n,x)  ->      1C(n%m+1,x) | 2 C(n%m+1,x) | 3C(n%m+1,x) | 4C(n%m+1,x) | 5C(n%m+1,x)

                                                // gooi met de dobbelsteen

A(n,x)  ->      6B(n,x+1) | 6C(n,x)      // als je 6 gooit zet je er of een nieuw poppetje op, of (als alle poppetjes al op het veld staan of in het eindhokje staan) mag je één van je poppetjes verzetten.

 

B(n,x)  ->      1C(n,x) | 2C(n,x) | 3C(n,x) | 4C(n,x) | 5C(n,x) | 6B(n,x)

// als je een nieuw poppetje op het veld zet, moet je deze minimaal één keer verzetten voordat je een andere mag verplaatsen

 

C(n,x)  ->      niets mogelijk          // als er geen poppetjes op het veld staan

C(n,x)  ->      zettenA(n%m+1,x) | slaan(A(n%m+1,x-1) | in eindhokje plaatsenD(n,x-1)

                                                // dit zijn de mogelijkheden na een worp

 

D(n,x)  ->      A(n%m+1,x)              // één poppetje minder op het veld voor jou.