Todos los estados posibles están enumerados a través de las filas.
Si llega un carácter 0, la máquina realizará la transición a S2 como puede verse desde la segunda columna.
Para un autómata finito no determinista (AFND), una nueva entrada puede causar que la máquina esté en más de un estado, dado que es no determinista.
La última columna define la transición legal de estados del carácter especial, ε.
En el estado S3, el AFND puede moverse a S1 sin consumir ningún carácter de entrada.