.dsy:it. - Aiuto LINGUAGGI FORMALI

.dsy:it. (http://www.dsy.it/forum/)
- Linguaggi formali e automi (http://www.dsy.it/forum/forumdisplay.php?forumid=132)
-- Aiuto LINGUAGGI FORMALI (http://www.dsy.it/forum/showthread.php?threadid=1144)

Posted by zanna on 08-10-2002 10:54:

Aiuto LINGUAGGI FORMALI

Salve a tutti!

ho un problema di base con linguaggi formali.
A pagina 24 delle sue dispense fa il seguente conto:

[...]
X1 = aX0 + bX1

risolvendo

X1 = b* aX0
[...]

So che e' banale, ma sono nel pallone e non riesco proprio a capire i passaggi di quel "risolvendo"...
chi mi puo' spiegare come fa esattamente a risolverla?

Grazie mille.

Zanna

Posted by empirico on 08-10-2002 11:50:

ma sei l'ex cantante dei Sadist?

__________________
quando ho creato il De Bell non esisteva Facebook.
Sono un Red Nerd.

Posted by Virgo on 08-10-2002 12:41:

Allora vediam se ricordo qualcosa...

Se non sbaglio era una semplice sostituzione appunto come dice negli appunti anche se io all'inizio come te non riuscivo ad applicarla non avendo seguito....cmq e' semplicemente cosi'... credo

Guarda la formula un po' + su

(1) X = AX U B

la cui unica soluzione possibile(dopo la dimostrazione) e':

(2) X=A*B

mentre nel tuo sistema abbiamo..

(3) X1=aX0 + bX1

quello che bisogna fare e' sostituire considerando che il simbolo di unione "U" e il simbolo "+" si equivalgono confrontando la (1) e la (3):

| X = AX U B
|
| X1 = aX0 + bX1

X1 corrisponde alla X della (1)
di conseguenza visto il prodotto che si ha sul lato destro delle equazioni (ovvero che nella prima X e' moltiplicato per A mentre nella seconda X1, che abbiamo detto corrisponde a X della (1), viene moltiplicato per b) si avra' che la "b" corrisponde alla "A" della (1) per mantenere la corrispondenza del prodotto
e infine quindi "aX0" corrispondera' all'altro membro dell'unione ovvero alla "B" della (1)

ora sapendo che l'unica possibile soluzione della (1) e' rappresentata dalla (2) ovvero

X=A*B

semplicemente sostituendo le corrispondenze su ovvero:
X=X1
A=b
B=aX0

avremo:

X1=b*aX0

spero di esser stato chiaro ciau

Posted by fozzy on 08-10-2002 13:17:

dispense di chi? Quale professore?
Per Goldwurm esistono almeno due versioni di appunti fatte da studenti disponibili sul suo sito...
magari trovi qualche info in piu'..

Ciao, Fozzy

__________________
I sense much NT in you, NT leads to Blue Screens,
Blue Screens lead to downtime, downtime leads to suffering.

NT is the path to the Dark Side....

Posted by Sayan on 09-10-2002 00:05:

NN riesco a capire xchè a pag 17 delle dispense di Bertoni al punto 4 dice ke AB è distinguibile da A.
Fa l'esempio ke AB è distinguibile da B xchè BB nn appartiene a L ma abb appartiene a L.
Ma allora posso dire ke se AB appartiene a L e ABB appartiene a L , AB e A sn INDISTINGUIBILI.
Qlc sa dirmi qlc a riguardo??

Posted by recoil on 10-10-2002 09:53:

Originally posted by Sayan
NN riesco a capire xchè a pag 17 delle dispense di Bertoni al punto 4 dice ke AB è distinguibile da A.
Fa l'esempio ke AB è distinguibile da B xchè BB nn appartiene a L ma abb appartiene a L.
Ma allora posso dire ke se AB appartiene a L e ABB appartiene a L , AB e A sn INDISTINGUIBILI.
Qlc sa dirmi qlc a riguardo??

secondo me guardando il grafico nella pagina la spiegazione è ovvia.
A è perfettamente distinguibile da AB, infatti una volta arrivato allo stato AB tu puoi solo aggiungere delle B se vuoi produrre parole appartenenti a L, mentre quando sei nello stato A hai tutto il tempo di aggiungere delle A a tuo piacimento, restando nello stato A che è ben diverso dallo stato AB come si vede appunto dal disegno.

__________________
Sono sempre alla ricerca di curriculum interessanti da segnalare alle società con cui ho contatti. Info in pm

Posted by zanna on 10-10-2002 11:31:

A proposito...

A proposito, alla fine del programma vi e' anche:

"Applicazioni
Strumenti di manipolazione dei testi basati su automi a stati finiti ed espressioni regolari (GREP e linguaggi derivati). proprieta' del linguaggio XML legate ai linguiaggi regolari e liberi dal contesto."

La domanda si pone spontanea: Ma Bertoni 'sta roba la chiede o no???

Grazie,

Ciauz

Zanna

Posted by fozzy on 10-10-2002 12:26:

anche goldwurm la aveva nel programma l'anno scorso ma in realta' e' stata fatta in forma facoltativa e non l'ha mai chiesta a quel che ricordo...
Comunque sono 4 cose che si fanno in un ora..

Fozzy

__________________
I sense much NT in you, NT leads to Blue Screens,
Blue Screens lead to downtime, downtime leads to suffering.

NT is the path to the Dark Side....

Posted by Serpico on 10-10-2002 14:11:

Re: A proposito...

Originally posted by zanna
A proposito, alla fine del programma vi e' anche:

"Applicazioni
Strumenti di manipolazione dei testi basati su automi a stati finiti ed espressioni regolari (GREP e linguaggi derivati). proprieta' del linguaggio XML legate ai linguiaggi regolari e liberi dal contesto."

La domanda si pone spontanea: Ma Bertoni 'sta roba la chiede o no???

Grazie,

Ciauz

Zanna

Bertoni non ha mai chiesto niente su grep e xml... almeno, ti parlo del mio orale e di quelli che ho seguito io...

__________________
~"sicurezza... oscurità... solo un altro sballato... in un mondo di sballati." (paura & delirio a Las Vegas)
~"C'HO CERTI CAZZI MAFA' CHE NEMMENO TU CHE SEI PRATICA LI HAI VISTI MAI..." (Proietti in Febbre da cavallo)
~"Il segno si decifra l'apparenza non si decifra. Non si deve assolutamente decifrare, non esiste proprio al mondo che l'apparenza si decifri" (Grande Max Mazzotta in PAZ )
~"Sono un eroe, perché lotto tutte le ore Sono un eroe perché combatto per la pensione Sono un eroe perché proteggo i miei cari dalle mani dei sicari dei cravattari Sono un eroe perchè sopravvivo al mestiere Sono un eroe straordinario tutte le sere Sono un eroe e te lo faccio vedere Ti mostrerò cosa so fare col mio super potere" (Capa)

Posted by Sayan on 10-10-2002 16:09:

Thanks RECOIL......l'avevo visto dopo ke ho postato. :wall:

All times are GMT. The time now is 11:24.

Show all 10 posts from this thread on one page