.dsy:it. (http://www.dsy.it/forum/)
- Linguaggi formali e automi (http://www.dsy.it/forum/forumdisplay.php?forumid=132)
-- [LFA] Informazioni A.A. 2003/04 (http://www.dsy.it/forum/showthread.php?threadid=12101)

Ma la parte di laboratorio la fate??
Quella delle slide con komandi unix...

__________________
"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

Ciao raga'! già ke ci sn posto anke io qualke domanda:ad esempio nn capisco come si fa a passare dal grafo degli stati di pag 23 all'automa minimo di pag 25.Nn capisco con ke criterio dice ke 2 stati sn indistinguibili o meno.....mi spieghereste(se vi va ) ke ragionamento fareste voi?

grazie cmq....Ciaoooooooo

__________________
"io non sono come gli altri Robin Hood, io non ballo coi lupi"
"ogni mattina come narciso si specchia nel ruscello retrovisore", "ci sono mille modi per chiamare dio...dio,allha,adta,arauffa,crisma..afjasf...tanto non ti risponde"

Corrado Guzzanti è il mio Dio.
Roberto Saviano eroe nazionale.

Originally posted by Drake83
Ciao raga'! già ke ci sn posto anke io qualke domanda:ad esempio nn capisco come si fa a passare dal grafo degli stati di pag 23 all'automa minimo di pag 25.Nn capisco con ke criterio dice ke 2 stati sn indistinguibili o meno.....mi spieghereste(se vi va ) ke ragionamento fareste voi?

grazie cmq....Ciaoooooooo

__________________
"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 maynard80
x$y è una parola che passi all'interprete u, essa è una parola su {0,1}* e l'interprete divide x e y come il programma da eseguire e l'imput; x&x eseguie il programma x prendendo come imput la successione di 0 e 1 che risulta essere di nuovo x.
Purtroppo è molto ingarbugliata come cosa, ma è stata introdotta per far venire le dimostrazioni seguenti... sta materia è tutta fantasia

Ma il problema di Hilbert ed esempi seguenti sono da sapere?

Allora, X Problema di Hilbert e Calcolo Logico (era la parte più bella da dimostrare) non sono da fare.
Più grande automa - minimo automa:
- [aa] è indistinguibile da [a] perchè è una sua potenza, e dare come parola "a" significa farlo ritornare in [a]
- il sottoalbero che ha come radice [aba] va eliminato perchè non appartiene al linguaggio (a^n.b^n)
- [abb] è indistinguibile da [ab] perchè è una sua potenza, e dare come parola "b" ecc...
- [ba] e [bb] non appartengono al linguaggio, perchè comunque n>0, quindi a non può essere a^0, e comunque non a sx
- se ad [ab] applico "a" ottengo [aba] che non appartiene al linguaggio, quindi lo mando in qualcosa che non serve, come [b]
|| il problema è che, secondo me, anche [a] non appartiene al linguaggio perchè comunque non può essere [b^0] perchè n>0
Mi accodo alla protesta sull'Interprete e sulle procedure e aggiungo:
come cavolo si spiega che si pensa alla diagonalizzazione, cioè "1-F(x$x)" senza sapere cos'è? La Palano ha detto che bisogna prenderlo per buono, ma come faccio io a dimostrargli qualcosa se non so da che si parte?? Vabbè, cose mie.
Ciao a tutti, a lunedì.

__________________
aitus -borned in MdT-

...basta poco che ce vò

Originally posted by Aito

- se ad [ab] applico "a" ottengo [aba] che non appartiene al linguaggio, quindi lo mando in qualcosa che non serve, come [b]

__________________
Khelidan

ripeto la domanda...
Sn da fare le due dispense di laboratorio...?

__________________
"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

laboratorio?

__________________
Il DSY su Facebook!!!

Originally posted by Lunik
laboratorio?

Originally posted by Aito
Allora, X Problema di Hilbert e Calcolo Logico (era la parte più bella da dimostrare) non sono da fare.
Più grande automa - minimo automa:
- [aa] è indistinguibile da [a] perchè è una sua potenza, e dare come parola "a" significa farlo ritornare in [a]
- il sottoalbero che ha come radice [aba] va eliminato perchè non appartiene al linguaggio (a^n.b^n)
- [abb] è indistinguibile da [ab] perchè è una sua potenza, e dare come parola "b" ecc...
- [ba] e [bb] non appartengono al linguaggio, perchè comunque n>0, quindi a non può essere a^0, e comunque non a sx
- se ad [ab] applico "a" ottengo [aba] che non appartiene al linguaggio, quindi lo mando in qualcosa che non serve, come [b]
|| il problema è che, secondo me, anche [a] non appartiene al linguaggio perchè comunque non può essere [b^0] perchè n>0

__________________
"io non sono come gli altri Robin Hood, io non ballo coi lupi"
"ogni mattina come narciso si specchia nel ruscello retrovisore", "ci sono mille modi per chiamare dio...dio,allha,adta,arauffa,crisma..afjasf...tanto non ti risponde"

Corrado Guzzanti è il mio Dio.
Roberto Saviano eroe nazionale.

Originally posted by Skilotto83
ripeto la domanda...
Sn da fare le due dispense di laboratorio...?

__________________
Khelidan

Della seconda e terza dispensa c'è qualcosa da saltare?

Originally posted by drakend
Scusate ma x$w significa x passata come argomento alla funzione w?

__________________
"Che ne sai di un ragazzo che ti amava
che parlava e niente sapeva
eppur quel che diceva chissà perchè‚ chissà adesso è verità."

Qualcuno sa dire perche' nell'esempio 5.4 di pagina 32 il sistema ottenuto e':

X0 = aX0+bX1+e
X1 = aX0

dall'automa riportato in figura si direbbe piuttosto:

X0 = aX0+aX1+e
X1 = bX0

visto che dallo stato q0 si passa a q1 se in ingresso c'e' b e da q1 si passa a q0 se in ingresso c'e' a...