Dsy Network www | forum | my | didattica | howto | wiki | el goog | stats | blog | dona | rappresentanti
Homepage
 Register   Calendar   Members  Faq   Search  Logout 
.dsy:it. : Powered by vBulletin version 2.3.1 .dsy:it. > Didattica > Corsi G - M > Linguaggi formali e automi > [LFA Bertoni] Info esame
Pages (7): « 1 [2] 3 4 5 6 » ... Last »   Last Thread   Next Thread
Author
Thread    Expand all | Contract all    Post New Thread    Post A Reply
Collapse
Svacco
.simpatizzante.

User info:
Registered: May 2005
Posts: 13 (0.00 al dì)
Location:
Corso: Informatica
Anno: 3
Time Online: 7:54:21 [...]
Status: Offline

Post actions:

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
Click Here to See the Profile for Svacco Click here to Send Svacco a Private Message Visit Svacco's homepage! Find more posts by Svacco Add Svacco to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
vlaste
Tecnoclassico

User info:
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

Post actions:

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! :D

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
Click Here to See the Profile for vlaste Click Here to See the Blog of vlaste Click here to Send vlaste a Private Message Find more posts by vlaste Add vlaste to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Svacco
.simpatizzante.

User info:
Registered: May 2005
Posts: 13 (0.00 al dì)
Location:
Corso: Informatica
Anno: 3
Time Online: 7:54:21 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

grazie vlaste

grande per il biginio riassuntivo....
Svacco

16-06-2005 14:10
Click Here to See the Profile for Svacco Click here to Send Svacco a Private Message Visit Svacco's homepage! Find more posts by Svacco Add Svacco to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Tormento
.fedelissimo.

User info:
Registered: Sep 2003
Posts: 41 (0.01 al dì)
Location: Milano
Corso: Informatica
Anno: 3
Time Online: 2 Days, 16:42:16 [...]
Status: Offline

Post actions:

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
Click Here to See the Profile for Tormento Click here to Send Tormento a Private Message Find more posts by Tormento Add Tormento to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
de_luna
.arcimaestro.

User info:
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

Post actions:

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
Click Here to See the Profile for de_luna Click here to Send de_luna a Private Message Find more posts by de_luna Add de_luna to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
casper
.grande:maestro.

User info:
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

Post actions:

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...

:ciao:

__________________
...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
Click Here to See the Profile for casper Click Here to See the Blog of casper Click here to Send casper a Private Message Find more posts by casper Add casper to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
de_luna
.arcimaestro.

User info:
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

Post actions:

Edit | Report | IP: Logged

grazie mille spiegazione moooolto efficiente!

grazie ancora e speriamo che vada bene!

17-06-2005 08:53
Click Here to See the Profile for de_luna Click here to Send de_luna a Private Message Find more posts by de_luna Add de_luna to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
rafnet
.grande:maestro.

User info:
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

Post actions:

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
Click Here to See the Profile for rafnet Click here to Send rafnet a Private Message Find more posts by rafnet Add rafnet to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
virtual
Scheggia Impazzita

User info:
Registered: Feb 2004
Posts: 167 (0.02 al dì)
Location: [MI]
Corso: Informatica
Anno: FINITO!
Time Online: 3 Days, 14:30:20 [...]
Status: Offline

Post actions:

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
Click Here to See the Profile for virtual Click here to Send virtual a Private Message Visit virtual's homepage! Find more posts by virtual Add virtual to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
vlaste
Tecnoclassico

User info:
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

Post actions:

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
Click Here to See the Profile for vlaste Click Here to See the Blog of vlaste Click here to Send vlaste a Private Message Find more posts by vlaste Add vlaste to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Svacco
.simpatizzante.

User info:
Registered: May 2005
Posts: 13 (0.00 al dì)
Location:
Corso: Informatica
Anno: 3
Time Online: 7:54:21 [...]
Status: Offline

Post actions:

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
Click Here to See the Profile for Svacco Click here to Send Svacco a Private Message Visit Svacco's homepage! Find more posts by Svacco Add Svacco to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Polsy
.arcimaestro.

User info:
Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

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
Click Here to See the Profile for Polsy Click here to Send Polsy a Private Message Visit Polsy's homepage! Find more posts by Polsy Add Polsy to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
vlaste
Tecnoclassico

User info:
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

Post actions:

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
Click Here to See the Profile for vlaste Click Here to See the Blog of vlaste Click here to Send vlaste a Private Message Find more posts by vlaste Add vlaste to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
virtual
Scheggia Impazzita

User info:
Registered: Feb 2004
Posts: 167 (0.02 al dì)
Location: [MI]
Corso: Informatica
Anno: FINITO!
Time Online: 3 Days, 14:30:20 [...]
Status: Offline

Post actions:

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
Click Here to See the Profile for virtual Click here to Send virtual a Private Message Visit virtual's homepage! Find more posts by virtual Add virtual to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
vlaste
Tecnoclassico

User info:
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

Post actions:

Edit | Report | IP: Logged

Originally posted by virtual
Fu(x$x) Significa :
[CUT]

ok, chiarissimo, ti ringrazio

19-06-2005 14:13
Click Here to See the Profile for vlaste Click Here to See the Blog of vlaste Click here to Send vlaste a Private Message Find more posts by vlaste Add vlaste to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
All times are GMT. The time now is 02:07.    Post New Thread    Post A Reply
Pages (7): « 1 [2] 3 4 5 6 » ... Last »   Last Thread   Next Thread
Show Printable Version | Email this Page | Subscribe to this Thread | Add to Bookmarks

Forum Jump:
Rate This Thread:

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
 

Powered by: vBulletin v2.3.1 - Copyright ©2000 - 2002, Jelsoft Enterprises Limited
Mantained by dsy crew (email) | Collabora con noi | Segnalaci un bug | Archive | Regolamento | Licenze | Thanks | Syndacate
Pagina generata in 0.062 seconds (67.33% PHP - 32.67% MySQL) con 26 query.