Dubbi sull'esempio Entscheidungsproblem

Riferimento al problema: https://cms.di.unipi.it/#/task/fermata/statement
Ciao ragazzi
Non riesco a capire come mai nell’output dell’ esempio non sia incluso 3.
A me sembra che la cella 3 sia valida infatti porta subito alla terminazione.
(3,0)–>stop

Ciao,
la cella 3 quando la si visita nello stato a porta alla cella 1 nello stato b, che riporta alla cella 3 nello stato a, bloccando gli innocenti in un ciclo.

La cella 3 non contiene il valore 0? E quindi FINE?

La cella 3 contiene il valore 0, il che significa che quando la visiti nello stato a devi andare a leggere la cella 0 della riga a della tabella che ti dice di spostarti a sinistra di 2 (vai a destra di -2 celle) e di passare allo stato b.

Ah ho capito, per terminare la computazione deve arrivare alla cella alla posizione 0, non a una cella che contiene 0