En la parte g) con los estados pausado y edit
En el ejemplo, estando en edit y si llega un pp, va hacia el estado contando, pero en el diagrama de estados de la carilla anterior, estando en el estado edit solo te puede llegar un restart e ir al estado inicial. No hay manera que vaya desde edit hasta contando.
A que le hacemos caso, al ejemplo o al diagrama?
Salu2