Suggerimento: Devi eseguire questo automa in modo non-deterministico. Nelle "Impostazioni" puoi scegliere il modo corrispondente.