GHIRUS_73

User info:

Registered: Sep 2002
Posts: 5 (0.00 al dì)
Location:
Corso:
Anno:
Time Online: 23:13:26 [...]
Status: Offline

Post actions:

Lfa 18 Aprile 05

Qualcuno sa quali sono gli argomenti più importanti da conoscere per LFA?
le Dimostrazioni sono da fare oppure no o solo alcune?
Difficoltà dell'esame?

Datemi qualche idea.
Grazie

ghily

rozzettino

User info:

Registered: Jul 2003
Posts: 718 (0.09 al dì)
Location: Settimo
Corso: Informatica spec
Anno: 2
Time Online: 13 Days, 1:05:36 [...]
Status: Offline

Post actions:

Originally posted by GHIRUS_73
Qualcuno sa quali sono gli argomenti più importanti da conoscere per LFA?
le Dimostrazioni sono da fare oppure no o solo alcune?
Difficoltà dell'esame?

Datemi qualche idea.
Grazie

__________________
------------------------------------------------------------------------
O siamo capaci di sconfiggere le idee contrarie con la discussione, o dobbiamo lasciarle esprimere. Non è possibile sconfiggere le idee con la forza, perchè questo blocca il libero sviluppo dell'intelligenza
(Ernesto Che Guevara)
------------------------------------------------------------------------

Skilotto83

..Energia positiva...

User info:

Registered: Jun 2003
Posts: 1608 (0.20 al dì)
Location: Arconate
Corso: Informatica
Anno: LAUREATO!!!
Time Online: 15 Days, 6:32:44 [...]
Status: Offline

Post actions:

qualcuno si ricorda in che posizione era per l'appello??
Io ero in posizione 23...qualcuno ha posizioni successive??
Giusto per sapere se c'è la vaga possibilità di farlo tra 2-3 giorni e non domani....
Mi sa che 20 persone riesce a farle tranquillamente, ma se siamo un 30ina ci divide in due date differenti...

__________________
"Why, Sir, you find no man at all intellectual who is willing to leave London.
No, Sir, when a man is tired of London, he is tired of life; for there is in London all that life can afford."
(DR SAMUEL JOHNSON 1777)

MSN andrea.poretti(at)hotmail.it

Skilotto83

..Energia positiva...

User info:

Registered: Jun 2003
Posts: 1608 (0.20 al dì)
Location: Arconate
Corso: Informatica
Anno: LAUREATO!!!
Time Online: 15 Days, 6:32:44 [...]
Status: Offline

Post actions:

mi stavo chiedendo...qualcuno avra' voglia di darmi una mano per una cosa di LFA....??
Proviamo...
Ma il fatto che un linguaggio ammetta calcolo logico solo se è ricorsivamente numerabile nn lo capisco....
Tutto si basa sul fatto che posso scrivere una procedura che non termina se la dimostrazione di un affermazione nn esiste??
Perchè allora posso anche scrivere una procedura che restituisce 1 se d è dimostrazione di f e 0 se d nn è dimostrazione di f...no??
Non capisco...
Qulakuno mi da' una mano??

e in piu'...
ma dalla proposizione 5.1 a pag 17...dopo le trasformazioni dove cazzo spunta la regola A->B che va eliminata???

__________________
"Why, Sir, you find no man at all intellectual who is willing to leave London.
No, Sir, when a man is tired of London, he is tired of life; for there is in London all that life can afford."
(DR SAMUEL JOHNSON 1777)

MSN andrea.poretti(at)hotmail.it

Last edited by Skilotto83 on 21-04-2005 at 20:48

khelidan

.grande:maestro.

User info:

Registered: Jun 2003
Posts: 1196 (0.15 al dì)
Location: Milano
Corso: Informatica
Anno: Finito....
Time Online: 13 Days, 12:08:03: [...]
Status: Offline

Post actions:

Originally posted by Skilotto83
mi stavo chiedendo...qualcuno avra' voglia di darmi una mano per una cosa di LFA....??
Proviamo...
Ma il fatto che un linguaggio ammetta calcolo logico solo se è ricorsivamente numerabile nn lo capisco....
Tutto si basa sul fatto che posso scrivere una procedura che non termina se la dimostrazione di un affermazione nn esiste??
Perchè allora posso anche scrivere una procedura che restituisce 1 se d è dimostrazione di f e 0 se d nn è dimostrazione di f...no??
Non capisco...
Qulakuno mi da' una mano??

e in piu'...
ma dalla proposizione 5.1 a pag 17...dopo le trasformazioni dove cazzo spunta la regola A->B che va eliminata???

__________________
Khelidan

Skilotto83

..Energia positiva...

User info:

Registered: Jun 2003
Posts: 1608 (0.20 al dì)
Location: Arconate
Corso: Informatica
Anno: LAUREATO!!!
Time Online: 15 Days, 6:32:44 [...]
Status: Offline

Post actions:

Originally posted by khelidan
1-Perche le grammatiche sono sistemi formali per esprimere i calcoli logici e i solo linguaggi generati da grammatiche sono i ricorsivamente numerabili(e dunque pure i ricorsivi),ecco perche solo quel tipo di linguaggio ammette calcolo logico!

per la seconda domanda me lo sono chiesto pure io!

__________________
"Why, Sir, you find no man at all intellectual who is willing to leave London.
No, Sir, when a man is tired of London, he is tired of life; for there is in London all that life can afford."
(DR SAMUEL JOHNSON 1777)

MSN andrea.poretti(at)hotmail.it

khelidan

.grande:maestro.

User info:

Registered: Jun 2003
Posts: 1196 (0.15 al dì)
Location: Milano
Corso: Informatica
Anno: Finito....
Time Online: 13 Days, 12:08:03: [...]
Status: Offline

Post actions:

Originally posted by Skilotto83
mi hai dato come risposta la domanda stessa....
ho chiesto il "perchè"...e se leggi le dispense c'è una dimostrazione del fatto che i linguaggi generati da una grammatica sono ricorsivamente numerabili...io nn capisco questa cosa..
kmq amen...ieri ho fatto l'esame e l'ho passato...la cosa nn mi è stata chiesta...festa....

Ieri c'ero pure io...
Io sono quello che ha interrogato x secondo...dopo che ha mandato a fare il giro il primo ragazzo!

__________________
Khelidan

Skilotto83

..Energia positiva...

User info:

Registered: Jun 2003
Posts: 1608 (0.20 al dì)
Location: Arconate
Corso: Informatica
Anno: LAUREATO!!!
Time Online: 15 Days, 6:32:44 [...]
Status: Offline

Post actions:

ah...eri tu??
Bien...allora ci siamo conosciuti...
kmq alla fine 25 come te....
Io ero il terzo...poi ha riinterrogato il tipo che è andato a afer un giro...

__________________
"Why, Sir, you find no man at all intellectual who is willing to leave London.
No, Sir, when a man is tired of London, he is tired of life; for there is in London all that life can afford."
(DR SAMUEL JOHNSON 1777)

MSN andrea.poretti(at)hotmail.it

maynard80

.novellino.

User info:

Registered: Jul 2007
Posts: 3 (0.00 al dì)
Location: Milano (e non interland, tendo a precisare)
Corso: informatica
Anno: SESTO
Time Online: 12 Days, 14:28:38 [...]
Status: Offline

Post actions:

che domande vi ha fatto? io lo faccio domani con bertoni e assistente

__________________
msn Messenger: giamma80 at tiscali.it
ATHENA !

khelidan

.grande:maestro.

User info:

Registered: Jun 2003
Posts: 1196 (0.15 al dì)
Location: Milano
Corso: Informatica
Anno: Finito....
Time Online: 13 Days, 12:08:03: [...]
Status: Offline

Post actions:

Originally posted by Skilotto83
ah...eri tu??
Bien...allora ci siamo conosciuti...
kmq alla fine 25 come te....
Io ero il terzo...poi ha riinterrogato il tipo che è andato a afer un giro...

ottimo allora e andata molto bene pure a te!
Ma poi sai se lo ha promosso?

x Maynard

Forse sono un po in ritardo,cmq a me ha chiesto automi det e non det e cmq gli automi in generale e poi la def di pumping lemma....

__________________
Khelidan

maynard80

.novellino.

User info:

Registered: Jul 2007
Posts: 3 (0.00 al dì)
Location: Milano (e non interland, tendo a precisare)
Corso: informatica
Anno: SESTO
Time Online: 12 Days, 14:28:38 [...]
Status: Offline

Post actions:

fatto oggi con bertoni, mi ha messo 25, mi ha chiesto passare da un automa a una espressione regolare. Basta

__________________
msn Messenger: giamma80 at tiscali.it
ATHENA !