AFD di una specifica dinamica

[mikoile]

Buonasera, avrei dei dubbi sulla determinazione dei seguenti AFD relativi alle seguenti specifiche dinamiche.Vorrei deste un occhiata agli automi da me fatti (nel caso in cui ci sono due AFD significa che sono indeciso su quale dei due sia eventualmente quello giusto). Grazie mille !!

1. Fra due eventi c vi deve essere almeno un evento b.

Sorgente FidoCadJ | Ingrandisci | Cos'è Fidocad

2.L'evento b può avvenire sempre; con riferimento agli eventi a e c, il primo evento che deve verificarsi è a, inoltre a deve essere seguito immediatamente da c e c deve essere immediatamente seguito da a.

Sorgente FidoCadJ | Ingrandisci | Cos'è Fidocad

3. Ogni evento a deve essere seguito dagli eventi b e c (nell'ordine) e ogni evento d deve essere IMMEDIATAMENTE seguito da c. L'evento e invece può verificarsi sempre, senza vincoli.

Sorgente FidoCadJ | Ingrandisci | Cos'è Fidocad

In questo caso il mio dubbio sta nel fatto che non ho capito come soddisfare la richiesta "immediatamente seguito da" e nel caso non ci fosse come diventerebbe l'automa ?
Grazie mille