Scusami,
potresti postare l'automa della specifica richiesta?
Vorrei far notare l'ora del mio post 03:30 AM...
Comunque questo è l'automa di specifica per questa traccia: svolgendo la composizione concorrente con il processo si ottiene esattamente l'automa supervisore postato da Blackjack. Spero che possa essere d'aiuto a qualche povero disgraziato
ragà scusatemi, ma non riesco proprio a capire come tirar fuori queste specifiche....secondo che criterio? sul libro non spiega come creare le specifiche, ci sono solo esempi gia fatti..