ElectroYou - la comunità dei professionisti del mondo elettrico

da **giuggiolo** » 26 giu 2012, 17:23

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

da **giuggiolo** » 27 giu 2012, 14:37

Risolto

Sorgente FidoCadJ | Ingrandisci | Cos'è Fidocad

ElectroYou - la comunità dei professionisti del mondo elettrico

Chiarimento automa a stati finiti

[1] Chiarimento automa a stati finiti

[2] Re: Chiarimento automa a stati finiti

Chi c’è in linea

Informazioni

Seguici

Pubblicità

Credits