Controllo supervisivo: dubbio su specifica

[Zioke]

Salve a tutti ragazzi... avrei un dubbio su questo esercizio di automazione perché gli stati dell'automa che descrive la specifica sono tutti finali? Quando si decide che l'automa che descrive la specifica deve avere tutti gli stati finali? Ringrazio chi mi aiuterà. (Lascio le immagini dell'esercizio in allegato..)