hola
los protocolos suelen ser un tipo de algoritmo excepcional que "no termina" (cuando en realidad la definición de algoritmo dice algo así como "en un número finito de pasos"). En todo caso, aunque podríamos hacerlo terminar agregando un tipo de mensaje especial de fin de transmisión, en este caso no es necesario tener un S_TERM. Pueden diseñarlo sin un estado "DONE".
saludos
J