²L’istruzione se…altrimenti non appartiene al set ma è una conseguenza diretta del fatto che stiamo parlando di una macchina a stati. In questo caso, ad esempio, leggere il carattere _ fa passare la macchina in uno stato in cui viene eseguito (4) piuttosto che eseguire nuovamente (1).