Esto se denota en una tabla de transición de estados por un par de llaves "{ }" con un conjunto de todos los estados objetivo entre ellos.