Automate finite HELP

[•dacusorul]

Salut. Rog mult cine poate sa ma ajute sa rezolv problema data.
Am nevoie de graful automatului finit nedeterminist ce recunmoaste urmatorul limbaj: L(G) = { { w | w
∈ (0,1)*  |w| =2n-1 ÅŸi |w1|=3m, n≥1, m≥ 0}

Sau ceva idei....

Multumesc mult anticipat.

[•pauldb]

Cine e w1? Daca w1 = w, atunci iti trebuie un automat care recunoaste toate cuvintele formate din simbolurile 0 si 1 care au lungimea de forma 6k + 3, cu k >= 0. Automatul are forma unui lant de 3 noduri care intra intr-un ciclu de 6 noduri. Pe muchii sunt ambele caractere.

[•dacusorul]

da cred ca w1=w. |w| =2n-1 - lungimea cuvintului w este numar impar minim 1
|w1|=3m - lungimea cuvintului w1 este divizibil la 3 minim 0. w este prima conditie si w1 a 2-a. Mc mult de sfat.

[•flmanea]

Probabil |w1| era de fapt |w|1 (1 indice inferior), si reprezenta numarul de 1-uri din w. Din pacate nici cel care ne-a cerut ajutorul nu stie ce se cere, si, de fapt, cred ca nici nu si-a pus problema sa incerce sa rezolve singur exercitiul (la fel si pentru ceea ce a intrebat pe alt topic).

[•dacusorul]

Spuneti va rog un soft in care as putea desena aceste automate.

[•sima_cotizo]

dia