Aiuto LINGUAGGI FORMALI
Clicca QUI per vedere il messaggio nel forum |
| zanna |
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 |
| empirico |
| ma sei l'ex cantante dei Sadist? |
| Virgo |
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 :) |
| fozzy |
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'.. :D
Ciao, Fozzy
|
| 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?? |
| recoil |
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. |
| 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 |
| fozzy |
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 |
| Serpico |
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... |
| Sayan |
| Thanks RECOIL......l'avevo visto dopo ke ho postato.:wall: |
|
|
|
