En el diagrama esto es denotado por la flecha desde S a S etiquetada con un 0.