ElectroYou

Ciao a tutti

Nel controllo supervisivo mi viene data la seguente specifica dinamica
$K= \left \{ (ab)^k,(ab)^k a,(ba)^k, (ba)^k b, k=0,1 ... \right \}$

Mi viene chiesto di rappresentarla con un automa a stati finiti. Non riesco però a metterlo su...ho disegnato questo per ora:

Sorgente FidoCadJ | Ingrandisci | Cos'è Fidocad

Il linguaggio generato dall'automa è il seguente (a meno di errori o omissioni)
$K= \left \{ (ab)^k,(ab)^k a, (ab)^k b, (ab)^k (ba)^n,(ba)^k, (ba)^k b, (ba)^k bb, (ba)^k (bba)^n, k, n=0,1 ... \right \}$

e differisce dalla specifica e quindi non è la giusta rappresentazione. Non riesco però a trovare un automa che la rappresenti esattamente. A quanto mi pare di capire l'evento "b" dello stato "x0" è la soluzione che ho usato per generare le parole del tipo (ba)^k ma è anche la causa del problema...
Avreste qualche dritta da darmi, magari generale, per la rappresentazione di linguaggi tramite automi?

Grazie in anticipo
Giulio

Risolto

Sorgente FidoCadJ | Ingrandisci | Cos'è Fidocad

ElectroYou

Chiarimento automa a stati finiti

Chiarimento automa a stati finiti

Re: Chiarimento automa a stati finiti