.dsy:it. (http://www.dsy.it/forum/)
- Linguaggi formali e automi (http://www.dsy.it/forum/forumdisplay.php?forumid=132)
-- [LFA] Argomenti (http://www.dsy.it/forum/showthread.php?threadid=18857)

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

Re: Lfa 18 Aprile 05

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

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

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

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

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

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

__________________
Khelidan

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

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

__________________
msn Messenger: giamma80 at tiscali.it
ATHENA !

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

__________________
Khelidan

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 !