.dsy:it. - [Linguaggi formali e automi] Info generali

Calendar

Members

Faq

Logout

.dsy:it. : Powered by vBulletin version 2.3.1

.dsy:it. > Didattica > Corsi G - M > Linguaggi formali e automi > [Linguaggi formali e automi] Info generali

Pages (7): « 1 2 [3] 4 5 6 7 »

Last Thread Next Thread

Author

Thread Expand all | Contract all

Paul

blue-ringed

User info:

Registered: Jul 2002
Posts: 47 (0.01 al dì)
Location: Lodi
Corso: Info
Anno: fuoricorso
Time Online: 7 Days, 4:45:09: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

a proposito degli errori segnalati da graffietto:

quello di pag.9
direi che è sicuramente un errore oltretutto fa riferimento
all'esempi 3.2 dove il linguaggio è denotato correttamente.

su quello di pag 24
anche qui direi che hai ragione inequivocabilmente... X0 nell'ultimo passaggio è di troppo.
-----------------------

Le mie segnalazioni...
1)
Pumping Lemma: (pag. 29)
nella dimostrazione a un certo punto dice..
"Poiché z appartiene ad L, esiste un albero di derivazione di z con H foglie... "

credo sia errato, perché per ipotesi e' stato posto |z|>H
quindi le foglie (che in un albero di derivazione identificano gli elementi che compongono la parola) sono > di H.

2)
Automi: (pag 14)
spesso nella dimostazione della proposizione 2.1(e anche altrove) la funzione di transizione viene scritta invertendo i parametri, (il primo dovrebbe essere lo stato, e il secondo l'elemento secondo la definizione che ne viene data)

3)
Automi: (pag 20)
alla quinta riga della pagina dice:
"Ovviamente esistono automi a stati finiti non deterministici che non sono automi a stati "
penso voglia dire automi a stati finiti deterministici.

sempre nella stessa pagina, alla proposizione 4.2 c'e' un "finiti" in più tra deterministico e esiste.

4)
Quello che citavo nel mio precedente post (pag 19)

La relazione di transizione viene definita come
sottoinsieme di QxExQ -> Q.
Secondo me la dicitura di non ha senso...
ma la parte -> Q va eliminata.

ok... ditemi cosa ne pensate.

ciao

16-04-2003 22:07

Click here to Send Paul a Private Message

Elena72

.primate.

User info:

Registered: Jul 2002
Posts: 77 (0.01 al dì)
Location: Garbagnate
Corso: Informatica
Anno: 3
Time Online: 5 Days, 1:39:48 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

4)
Quello che citavo nel mio precedente post (pag 19)

La relazione di transizione viene definita come
sottoinsieme di QxExQ -> Q.
Secondo me la dicitura di non ha senso...
ma la parte -> Q va eliminata.

Direi che più che eliminata diventa R:QxExQ ->{0,1}
nel senso che R(q0, w, q1) = 1 solo se ricevendo una parola w, un automa in stato q0, può andare (tra gli altri) anche in stato q1.
Con la 2° def di R diventa R(q0, w) = {q1, ...}

17-04-2003 08:11

Click here to Send Elena72 a Private Message

Elena72

.primate.

User info:

Registered: Jul 2002
Posts: 77 (0.01 al dì)
Location: Garbagnate
Corso: Informatica
Anno: 3
Time Online: 5 Days, 1:39:48 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

2)
Automi: (pag 14)
spesso nella dimostazione della proposizione 2.1(e anche altrove) la funzione di transizione viene scritta invertendo i parametri, (il primo dovrebbe essere lo stato, e il secondo l'elemento secondo la definizione che ne viene data)

concordo: d(d(x,q)w)=d(q,wx) dovrebbe in realtà essere d(d(q,x)w)=d(q,xw). Non solo quindi inverte lo stato con la parola, ma inverte anche xw !

inoltre a p.12: d(q,ws) [s sta per sigma] è lo stato in cui si trova il sistema --> direi che quel sigma è di troppo!

17-04-2003 08:50

AlphaGamma

.piano ma pieni.

User info:

Registered: Jun 2002
Posts: 6732 (0.84 al dì)
Location:
Corso: Eh?
Anno: Io cosa?
Time Online: 21 Days, 21:22:01: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Uhm, fortuna che lfa e' considerato "facile".
Cmq, se volete posso mettere mano al testo e correggere gli errori che via via mi fate notare. Poi magari spediamo il tutto a Bertoni.

__________________
Attenzio', concentrazio', ritmo e VITALITÀ

17-04-2003 09:36

Click Here to See the Blog of AlphaGamma

Click here to Send AlphaGamma a Private Message

Elena72

.primate.

User info:

Registered: Jul 2002
Posts: 77 (0.01 al dì)
Location: Garbagnate
Corso: Informatica
Anno: 3
Time Online: 5 Days, 1:39:48 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

3)
Automi: (pag 20)
alla quinta riga della pagina dice:
"Ovviamente esistono automi a stati finiti non deterministici che non sono automi a stati "
penso voglia dire automi a stati finiti deterministici.

sempre nella stessa pagina, alla proposizione 4.2 c'e' un "finiti" in più tra deterministico e esiste.

concordo e aggiungo nella prop 4.2 esiste un automa a stati finiti DETERMINISTICO ...

Cmq, se volete posso mettere mano al testo e correggere gli errori che via via mi fate notare. Poi magari spediamo il tutto a Bertoni.

17-04-2003 10:14

Elena72

.primate.

User info:

Registered: Jul 2002
Posts: 77 (0.01 al dì)
Location: Garbagnate
Corso: Informatica
Anno: 3
Time Online: 5 Days, 1:39:48 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

1)
Pumping Lemma: (pag. 29)
nella dimostrazione a un certo punto dice..
"Poiché z appartiene ad L, esiste un albero di derivazione di z con H foglie... "

credo sia errato, perché per ipotesi e' stato posto |z|>H
quindi le foglie (che in un albero di derivazione identificano gli elementi che compongono la parola) sono > di H.

concordo: foglie > H

17-04-2003 12:49

Paul

blue-ringed

User info:

Registered: Jul 2002
Posts: 47 (0.01 al dì)
Location: Lodi
Corso: Info
Anno: fuoricorso
Time Online: 7 Days, 4:45:09: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

condivido tutto ciò che ha scritto graffietto,
direi che correggere le dispense potrebbe essere utilissimo
(io su alcuni errori ho buttato via molto tempo)

ciao

17-04-2003 20:08

Elena72

.primate.

User info:

Registered: Jul 2002
Posts: 77 (0.01 al dì)
Location: Garbagnate
Corso: Informatica
Anno: 3
Time Online: 5 Days, 1:39:48 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Per l'orale del 28, magari si puo' chiedere se posticipa di una settimana. Inoltre credo che delle persone che saremo, non tutti siano del terzo anno (con l'esame di basi ed il compitino di ingegneria) quindi magari si puo' chiedere un minimo di programmazione degli orali. Che ne pensate?

Alphagamma,
Hai poi chiesto a Bertoni se può programmare un'altra data per la settimana dopo quella del 28?

22-04-2003 08:29

mrc

.amico.

User info:

Registered: Oct 2002
Posts: 23 (0.00 al dì)
Location:
Corso:
Anno:
Time Online: 14:16:27 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Esame LFA Bertoni del 28

Qualcuno mi sa dire a che ora e dove sarà il 28 l'orale con Bertoni di LFA???
Dove posso trovare la data??
Ho provato a mandargli una mail ma non mi ha risposto...
Pensate che sia possibile farlo il venerdì 2 durante il suo orario di ricevimento?

24-04-2003 08:37

Click here to Send mrc a Private Message

Elena72

.primate.

User info:

Registered: Jul 2002
Posts: 77 (0.01 al dì)
Location: Garbagnate
Corso: Informatica
Anno: 3
Time Online: 5 Days, 1:39:48 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Anch'io gli ho scritto, ma no ha risposto.
Per il luogo e l'orario non è uscito nessun avviso... forse perchè il dipartimento è chiuso?
All'appello di Febbraio però è successo lo stesso, non è uscito nessun avviso e Bertoni non si è presentato! Non vorrei si fosse dimenticato, la data è decisa da parecchi mesi, magari è solo indicativa...

Per quanto ne so cmq Bertoni è disponibile a fare l'esame nel suo ufficio su appuntamento. Quindi se non esce alcun avviso io non credo di presentarmi Lunedì, non mi va di buttar via un giorno di ferie!

Se qualcuno sa qlcosa si faccia sentire!!

24-04-2003 09:39

AlphaGamma

.piano ma pieni.

User info:

Registered: Jun 2002
Posts: 6732 (0.84 al dì)
Location:
Corso: Eh?
Anno: Io cosa?
Time Online: 21 Days, 21:22:01: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Ragazzi, esiste gia' un topic aperto qui:
http://www.dsy.it/forum/showthread.php?threadid=3323

Prima di aprire un thread, verificate se ne esiste gia' uno.

X Walter: ce la fai a copiare questi mex nell'altro thread?
[Walter: fatto]

__________________
Attenzio', concentrazio', ritmo e VITALITÀ

Last edited by Walter on 20-05-2003 at 10:03

24-04-2003 12:02

Paul

blue-ringed

User info:

Registered: Jul 2002
Posts: 47 (0.01 al dì)
Location: Lodi
Corso: Info
Anno: fuoricorso
Time Online: 7 Days, 4:45:09: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Oggi Bertoni si e' presentato alle 9 circa in aula 6 e ha interrogato per l'esame.

Inoltre il proff ha preso i nomi per chi vuole essere interrogato lunedi' prossimo (non ha verificato se le persone erano effettivamente iscritte)

__________________
..non è un arrivederci, è un addio..

28-04-2003 11:24

nous

.:Retore Pomposo:.

User info:

Registered: Dec 2001
Posts: 2945 (0.36 al dì)
Location: Fino Mornasco - Como
Corso: Informatica
Anno: Specialista
Time Online: 16 Days, 13:56:49 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

E' possibile dare l'esame lunedì prossimo?

__________________
Cristian,il Nous che invoglia ^_^

"La capa è troppo in la,e la sbarba è troppo giovane..mi sa che qua si va in bianco"
Ryo Saeba (City Hunter)

29-04-2003 12:15

Click here to Send nous a Private Message

AlphaGamma

.piano ma pieni.

User info:

Registered: Jun 2002
Posts: 6732 (0.84 al dì)
Location:
Corso: Eh?
Anno: Io cosa?
Time Online: 21 Days, 21:22:01: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Per chi non si fosse presentato lunedi scorso (hrm ), e' possibile avere un appuntamento col prof per fare l'orale?
Altrimenti vabbe' lo faccio a giugno...

__________________
Attenzio', concentrazio', ritmo e VITALITÀ

29-04-2003 19:18

acca20

.primate.

User info:

Registered: Feb 2003
Posts: 67 (0.01 al dì)
Location: near MI
Corso: 1nf0
Anno: 3 (si fa per dire)
Time Online: 1 Day, 14:24:03: [...]
Status: Offline