eh.... fai il teorema di chiusura... S->S1S2....per le context free non da problemi,per le contestuali può esserci un interferenza nei contesti....allora crei 2 nuovi insiemi X'={x'|x€X} e X''={x''|x€X}...poi P'...etc etc..come dal libro...impara a memoria...dimostri così che i linguaggi di tipo 0 e 1 sono chiusi rispetto alla concatenazione.
«Due cose sono infinite: l'universo e la stupidità umana, ma riguardo l'universo ho ancora dei dubbi.» A.Einstein
Citazione:Messaggio inserito da SD83 e semeraro ti distrugge...
a memoria nel senso di imparare il procedimento che è fatto sul libro...a Semeraro dici 'la dimostrazione è costruttiva'...... io stando a Brindisi non ho Semeraro..anche Lops la pensa come lui però la dimostrazione è quella...non ci scappi!
Kanc se stessi a Bari volentieri:D
«Due cose sono infinite: l'universo e la stupidità umana, ma riguardo l'universo ho ancora dei dubbi.» A.Einstein
Modificato da - m3t4lup in data 12/06/2008 15:46:28
:) si l'avevo capito che non era robba da imparare letteralmente a memoria... cmq grazie ancora se vuoi ti nomino mio mentore almeno sul forum anche se sarebbe stato meglio di persona...