| V I S U A L I Z Z A D I S C U S S I O N E |
| gym83s |
Inserito il - 21/01/2006 : 14:49:08
Salve ragazzi, un piccolo dubbio, gli esercizi 7.4 e 7.7 sul libro di semeraro (e così gli altri simili) hanno come risultato una grammatica lineare destra derivante da un'automa.
L'esercizio alla fine è facile ma ho un piccolo dubbio:
Perchè nell'esercizio 7.4 P = {q0->aq2|bq1|b,q1->aq3|bq0,q2->aq0|bq3,q3->aq1|bq2|a}
così come nell'esercizio 7.7 P = {q0->bq0|aq1|a|b|lambda,q1->bq0|b}
vorrei sapere il criterio secondo il quale devo mettere nella grammatica lineare destra le b o le a scritte in rosso...non ho proprio capito questa cosa che di sicuro è una sciocchezza qualcuno me la può dire?? thanks...
|
| 3 U L T I M E R I S P O S T E (in alto le più recenti) |
| gym83s |
Inserito il - 26/01/2006 : 14:26:12
ahhhh |
| fabbattista |
Inserito il - 24/01/2006 : 21:48:07
IMHO si puo' semplificare il tutto cosi':
per ogni transizione presente in un automa si genera una regola della grammatica (lineare destra).
Se la transizione è diretta a uno stato non finale allora la regola sarà: stato_di_patenza->simbolo_letto stato_di_arrivo.
Se la transizione è diretta a uno stato finale allora la regola sarà: stato_di_patenza->simbolo_letto.
Come simbolo distintivo si prende lo stato di partenza dell'automa.
Come insieme di simboli terminali si prende l'alfabeto di ingresso dell'automa.
Come insieme di simboli non terminali si prende l'insieme degli stati dell'automa.
|
| iperattivo |
Inserito il - 24/01/2006 : 21:01:35
se vai a pag 167 del libro, e in particolare l'algoritmo 7.2 alla quarta regola,quella delle produzioni,ti dice che se hai una produzione che ti porta da un determinato stato,con un determinato simbolo in uno stato finale,devi inserire tale produzione tra quelle della grammatica.mi spiego meglio:
nell'eserc 7.4 abbiamo delta(q0,b)che va nello stato finale q1.per questo in base a quella regola devi inserire la produzione q0->b. altro esempio:
delta(q3,a) che va sempre nello stato finale q1.da questa la produzione q3->a.
spero di esser stato chiaro.fammi sapere. |
|
|
