|
Svacco |
ciao a tutti
... |
13-06-2005 17:27 |
|
|
Svacco |
.simpatizzante.
Registered: May 2005
Posts: 13 (0.00 al dì)
Location:
Corso: Informatica
Anno: 3
Time Online: 7:54:21 [...]
Status: Offline
Edit | Report | IP: Logged |
ciao a tutti
qualcuno sa se bertoni all'orale vole le dimostrazioni delle proprosizioni che ci sono sulle dispense o si accontenta del concetto generale???
h
2) nell'esempio 3.2 su come passare all'automa minimo:
come posso dire che lo stato [aba] è indistinguibile da [b] se non so neanche uno stato futuro si [aba]???nella spiegazione c'è scritto "come si verifica facilmente".....ma chi l'ha detto??????
3) perchè leggendo e rileggendo ste dispense non ho ancora capito come da una grammatica posso risalire al linguaggio e viceversa.......mi sono perso qualcosa o semplicemente non c'è?
INCROCIAMO LE DITA PER IL 20 giugno!!!!
ciao!
|
13-06-2005 17:27 |
|
|
| |
|
vlaste |
[QUOTE][i]Originally posted by Svacco [/i]
... |
13-06-2005 19:33 |
|
|
vlaste |
Tecnoclassico
Registered: Jun 2004
Posts: 472 (0.07 al dì)
Location: Estrema periferia
Corso: Informatica
Anno: terzo... bis
Time Online: 3 Days, 5:56:07: [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by Svacco
nell'esempio 3.2 su come passare all'automa minimo:
come posso dire che lo stato [aba] è indistinguibile da [b] se non so neanche uno stato futuro si [aba]???nella spiegazione c'è scritto "come si verifica facilmente".....ma chi l'ha detto??????
lo si capisce dalla definizione di stati indistinguibili (pag. 21)
infatti:
se sono in "aba" e presento a vado in uno stato non finale
se sono in "b" e presento a vado in uno stato non finale
quindi i due stati sono indistinguibili...
3) perchè leggendo e rileggendo ste dispense non ho ancora capito come da una grammatica posso risalire al linguaggio e viceversa.......mi sono perso qualcosa o semplicemente non c'è?
vedi definizione di linguaggio generato da una grammatica, pag. 13 secondo capoverso...
Praticamente: parti dall'assioma
applichi le regole di produzione
ottieni un insieme di parole (ovvero il linguaggio).
Per la precisione: non è che dalla grammatica risali al linguaggio, la grammatica genera un linguaggio. Scusa la pignoleria ma penso sia importante!
Ho postato un file con una specie di "bigino" di LFA nell'area filez, spero possa essere utile
Last edited by vlaste on 13-06-2005 at 19:37
|
13-06-2005 19:33 |
|
|
| |
|
Svacco |
grazie vlaste
... |
16-06-2005 14:10 |
|
|
Svacco |
.simpatizzante.
Registered: May 2005
Posts: 13 (0.00 al dì)
Location:
Corso: Informatica
Anno: 3
Time Online: 7:54:21 [...]
Status: Offline
Edit | Report | IP: Logged |
grazie vlaste
grande per il biginio riassuntivo....
Svacco
|
16-06-2005 14:10 |
|
|
| |
|
Tormento |
ragazzi qualcuno per caso sa se il concetto di int ... |
16-06-2005 14:25 |
|
|
Tormento |
.fedelissimo.
Registered: Sep 2003
Posts: 41 (0.01 al dì)
Location: Milano
Corso: Informatica
Anno: 3
Time Online: 2 Days, 16:42:16 [...]
Status: Offline
Edit | Report | IP: Logged |
ragazzi qualcuno per caso sa se il concetto di interprete è importatnte ai fini dell'esame(nel senso che bisogna sapere con precisione la dimostrazione)??
|
16-06-2005 14:25 |
|
|
| |
|
de_luna |
Scusate sul sito del prof. c'è scritto che l'esam ... |
17-06-2005 08:25 |
|
|
de_luna |
.arcimaestro.
Registered: Oct 2003
Posts: 441 (0.06 al dì)
Location: Prov. Milano
Corso: informatica
Anno: 3 (più o meno)
Time Online: 4 Days, 16:57:44 [...]
Status: Offline
Edit | Report | IP: Logged |
Scusate sul sito del prof. c'è scritto che l'esame di lunedì è nell'auletta 5! ma dove in via comelico? qual'è l'auletta 5? AIUTOOOO
grazie ciao ciao
|
17-06-2005 08:25 |
|
|
| |
|
casper |
[QUOTE][i]Originally posted by de_luna [/i]
... |
17-06-2005 08:28 |
|
|
casper |
.grande:maestro.
Registered: Jan 2003
Posts: 510 (0.07 al dì)
Location: Terra (forse...)
Corso: Informatica
Anno: Laureato
Time Online: 5 Days, 14:45:28 [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by de_luna
Scusate sul sito del prof. c'è scritto che l'esame di lunedì è nell'auletta 5! ma dove in via comelico? qual'è l'auletta 5? AIUTOOOO
grazie ciao ciao
entrando in dipartimento a destra...avanti avanti....la porticina a destra per salire le scale...non sali...fai mezzo giro...anzichè andare a destra per entrare in biblioteca, vai a sinistra...passi quella parte vecchia e buia...sulla destra trovi le aulette...
__________________
...una parte della nostra mente è come un grande register file...i flip-flop master slave alimentati da un clock infallibile (le forti emozioni) memorizzano lo stato dei ricordi.....
...peccato che questo clock molte volte è incontrollabile...
My Blog ->http://yuriweb.wordpress.com
|
17-06-2005 08:28 |
|
|
| |
|
de_luna |
grazie mille spiegazione moooolto efficiente!
... |
17-06-2005 08:53 |
|
|
de_luna |
.arcimaestro.
Registered: Oct 2003
Posts: 441 (0.06 al dì)
Location: Prov. Milano
Corso: informatica
Anno: 3 (più o meno)
Time Online: 4 Days, 16:57:44 [...]
Status: Offline
Edit | Report | IP: Logged |
grazie mille spiegazione moooolto efficiente!
grazie ancora e speriamo che vada bene!
|
17-06-2005 08:53 |
|
|
| |
|
rafnet |
Stavo valutando una cosa....
... |
17-06-2005 09:57 |
|
|
rafnet |
.grande:maestro.
Registered: Apr 2002
Posts: 524 (0.07 al dì)
Location: milano
Corso: Informatica
Anno: 3° teorico
Time Online: 2 Days, 3:50:26 [...]
Status: Offline
Edit | Report | IP: Logged |
Stavo valutando una cosa....
Io occupo la posizione 51 sul sifa, vuol dire che ci sono 50 persone che devono fare questo orale insieme a me.
Ma perchè cavolo ci fanno studiare per lunedì che poi quando arriviamo sicuramente verremo divisi in gruppi e ascoltati nei prox giorni.
ESISTE INTERNET CERTO CHE IN UNA LAUREA IN INFORMATICA DOVREBBE ESSERE SCONTATO
BASTA PUBLICARE I GIORNI CON LE DATE E MAN MANO UNO SI ISCRIVE AL GIORNO CHE VUOLE, COSì CHE QUANDO ARRIVI ALL' ESAME SEI SICURO DI ESSERE INTERROGATO.
O NO?
__________________
La vita è una jungla!
|
17-06-2005 09:57 |
|
|
| |
|
virtual |
[QUOTE][i]Originally posted by rafnet [/i]
... |
17-06-2005 12:51 |
|
|
virtual |
Scheggia Impazzita
Registered: Feb 2004
Posts: 167 (0.02 al dì)
Location: [MI]
Corso: Informatica
Anno: FINITO!
Time Online: 3 Days, 14:30:20 [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by rafnet
Stavo valutando una cosa....
Io occupo la posizione 51 sul sifa, vuol dire che ci sono 50 persone che devono fare questo orale insieme a me.
Già...e dato che le iscrizioni sono suddivise x docente, devi moltiplicare il 51x2 per cui saremo un centinaio tra Bertoni e Palano.
Cmq immagino che dato il numero di iscritti ci sarà anche la Lonati a interrogare...
__________________
Linux si coltiva... windows si pianta da solo
La prima volta che Adamo vide Eva disse: "Stai lontana cara, questo coso non so quanto cresce!!
|
17-06-2005 12:51 |
|
|
| |
|
vlaste |
Oh raga io le dimostrazioni non le so........ dite ... |
18-06-2005 15:44 |
|
|
vlaste |
Tecnoclassico
Registered: Jun 2004
Posts: 472 (0.07 al dì)
Location: Estrema periferia
Corso: Informatica
Anno: terzo... bis
Time Online: 3 Days, 5:56:07: [...]
Status: Offline
Edit | Report | IP: Logged |
Oh raga io le dimostrazioni non le so........ dite che è grave?? Off-Topic: vabbè che tanto non mi interrogherà mai lunedì.
A comunicare i giorni esatti delle interrogazioni si fa troppa fatica... e questo corso non è l'unico (leggi: sistemi operativi laboratorio)
|
18-06-2005 15:44 |
|
|
| |
|
Svacco |
leggendo qua e la nei treads sembra che le dimostr ... |
18-06-2005 18:37 |
|
|
Svacco |
.simpatizzante.
Registered: May 2005
Posts: 13 (0.00 al dì)
Location:
Corso: Informatica
Anno: 3
Time Online: 7:54:21 [...]
Status: Offline
Edit | Report | IP: Logged |
leggendo qua e la nei treads sembra che le dimostrazioni non siano indespensabili almeno per passarlo.....
sembra che le più gettonate siano quelle sul pumping lemma e sul teorema di kleen ma all'ultima lezione (l'unica che ho frequentato) Bertoni ha detto che la dimostrazione sul pumping lemma non l'avrebbe chiesta all'esame....speriamo che sia così!!!
invece er passare da A.N.D. a ASF deterministico a pag 28 dice
Q'= 2^Q cioè gli stati nel nuovo automa A'sono i sottoinsiemi degli stati di A
cosa vuol dire Q' = 2^Q intende il numero degli stati, o è solo una scrittura per dire che sono sottoinsiemi degli stati di A????
|
18-06-2005 18:37 |
|
|
| |
|
Polsy |
[QUOTE][i]Originally posted by Svacco [/i]
... |
19-06-2005 10:22 |
|
|
Polsy |
.arcimaestro.
Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by Svacco
leggendo qua e la nei treads sembra che le dimostrazioni non siano indespensabili almeno per passarlo.....
sembra che le più gettonate siano quelle sul pumping lemma e sul teorema di kleen ma all'ultima lezione (l'unica che ho frequentato) Bertoni ha detto che la dimostrazione sul pumping lemma non l'avrebbe chiesta all'esame....speriamo che sia così!!!
invece er passare da A.N.D. a ASF deterministico a pag 28 dice
Q'= 2^Q cioè gli stati nel nuovo automa A'sono i sottoinsiemi degli stati di A
cosa vuol dire Q' = 2^Q intende il numero degli stati, o è solo una scrittura per dire che sono sottoinsiemi degli stati di A????
intende dire che sono tutti i possibili sottoinsiemi di Q (= insieme delle parti di Q) : per simulare il passaggio ad n stati diversi con l'automa deterministico devi unire n stati appartenenti a Q, e iterando il procedimento per tutti gli stati ottieni nel caso peggiore l'insieme delle parti di Q, la cui numerosità è appunto 2^Q
in breve, la risposta alla tua domanda è: entrambe
|
19-06-2005 10:22 |
|
|
| |
|
vlaste |
Raga, una "formalità":
... |
19-06-2005 10:27 |
|
|
vlaste |
Tecnoclassico
Registered: Jun 2004
Posts: 472 (0.07 al dì)
Location: Estrema periferia
Corso: Informatica
Anno: terzo... bis
Time Online: 3 Days, 5:56:07: [...]
Status: Offline
Edit | Report | IP: Logged |
Raga, una "formalità":
che cosa significa la scrittura:
Fu(x$x)freccia_giù ???
Questa notazione la si trova ad esempio nel teorema:
Sia A = {x: Fu(x$x)freccia_giù}. Allora A è ricorsivamente numerabile ma A non è ricorsivo.
(pag. 6)
|
19-06-2005 10:27 |
|
|
| |
|
virtual |
[QUOTE][i]Originally posted by vlaste [/i]
... |
19-06-2005 13:24 |
|
|
virtual |
Scheggia Impazzita
Registered: Feb 2004
Posts: 167 (0.02 al dì)
Location: [MI]
Corso: Informatica
Anno: FINITO!
Time Online: 3 Days, 14:30:20 [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by vlaste
Raga, una "formalità":
che cosa significa la scrittura:
Fu(x$x)freccia_giù ???
Questa notazione la si trova ad esempio nel teorema:
Sia A = {x: Fu(x$x)freccia_giù}. Allora A è ricorsivamente numerabile ma A non è ricorsivo.
(pag. 6)
Fu(x$x) Significa :
L'esecuzione dell'interprete u che simula il comportamento dell'algoritmo "x" su input "x". Equivalentemente si puo' scrivere Fu(x,x)
Ovvero passi "x" come argomento all'algoritmo "x".
Esempio:faccio una procedura in C che conta le parole di un testo e poi quando la eseguo, gli passo proprio il testo del codice sorgente come argomento.
Mentre A è l'insieme delle parole x tali che l'esecuzione dell'interprete "x" su input "x" termina.
__________________
Linux si coltiva... windows si pianta da solo
La prima volta che Adamo vide Eva disse: "Stai lontana cara, questo coso non so quanto cresce!!
|
19-06-2005 13:24 |
|
|
| |
|
vlaste |
[QUOTE][i]Originally posted by virtual [/i]
... |
19-06-2005 14:13 |
|
|
vlaste |
Tecnoclassico
Registered: Jun 2004
Posts: 472 (0.07 al dì)
Location: Estrema periferia
Corso: Informatica
Anno: terzo... bis
Time Online: 3 Days, 5:56:07: [...]
Status: Offline
Edit | Report | IP: Logged |
Originally posted by virtual
Fu(x$x) Significa :
[CUT]
ok, chiarissimo, ti ringrazio
|
19-06-2005 14:13 |
|
|
| |
|
All times are GMT. The time now is 02:07. |
|
|
|
|
|
|
|
| |
Forum Rules:
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts
|
HTML code is OFF
vB code is ON
Smilies are ON
[IMG] code is ON
|
|
|
|
|
|