Aquí, una máquina no determinista en el estado S leyendo una entrada de 0 causará que esté en dos estados al mismo tiempo, los estados S y S.