en donde el símbolo * representa números positivos. Esta intuitivamente evidente que una vez que el proceso se encuentra en el estado 0, regresará a cese estado (quizá pasando por estado 1) después de algún número de pasos. Un argumento similar es cierto también para el estado 1.
No hay comentarios.:
Publicar un comentario