Chat del 27 Ottobre 2022 dalle 19:31:04 alle 20:05:46

Stefano SALVI

Ne ahnno gli altri?

Riccardo MARCHI

Io sto riguardando prof

Stefano SALVI

Ok.

Fabio SCAPPI

prof nella slide 10 del file "automi-base",nei valori di ingresso non dovrebbe esserci un\'altra graffa,dato che è un insieme di insiemi?

Stefano SALVI

Quando volete cominciate con le domande, che tanto chi viene dopo legge le domande che avete fatto.

Fabio SCAPPI

buongiorno prof

Stefano SALVI

Buon giorno

Fabio SCAPPI

prof le ultime 3 slide del file sulle comunicazioni non le abbiamo fatte giusto?

Stefano SALVI

Aspetta che apro il file.

Leonardo POLO

buongiorno

Stefano SALVI

No. Non le abbiamo ancora fatte (e forse richiederanno un po\' di lavoro).

Riccardo MARCHI

Buonasera prof

Leonardo POLO

prof io avrei 4 domande

Stefano SALVI

Comincia.

Leonardo POLO

1_ Domanda riguardo le categorie di sistemi. Lei ha detto che per determinare le uscite di un sistema deterministico abbiamo bisogno del valore delle uscite dell\' istante t1 e degli ingressi dall\'istante t1 fino all\'istante t2. Se il sistema e\' combinatorio potremmo anche fare senza il valore dell\'uscita all\'istante t1?

Stefano SALVI

Poi magari gli altri si inseriranno.

Neeraj KUMAR

buonasera

Riccardo MARCHI

Prof il grafo dell\'automa di Mealy all\'interno degli stati ha le uscite mentre Moore ha gli ingressi. Giusto?

Stefano SALVI

Polo: I tempi in genere si indicano t0 (zero) e t; se il sistema è combinatorio l\'uscita dipende solo dagli ingressi correnti, l\'uscita in t1 dipende solo dagli ingressi in t1 quindi nonsolo non ti interessa l\'uscita in t0, ma nelleno hli ingressi tra t0 e t1

Leonardo POLO

grazie

2_ Domanda riguardo la funzione di trasferimento. Posso scrivere una funzione di trasferimento solo nel caso in cui il sistema sia deterministico? Perche\' se fosse stocastico che valori dovrebbero assumere le uscite? Delle percentuali?

Stefano SALVI

Marchi: L\'automa di Moore ha le uscite indicate all\'interno degli stati e gli ingressi sulle frecce; l\'automa di Mealy negli stati ha solo i nomi degli stati e sulle frecce i valori degli ingressi seguiti dai valori delle relative uscite(separati da / )

Riccardo MARCHI

Ok grazie

Stefano SALVI

Polo: direi che anche per i sistemi stocastici bene o male scriverò una funzione di trasfermiento, che però dà una distribuzione di probabilità invece che un valore. L\'uscita non è un valore ma una funzione (almeno in teoria).

Leonardo POLO

grazie

3_ Domanda riguardo agli automi base. Non ho capito il perche\' nell\'esempio della autoclave ha scritto che la descrizione che ha fatto corrisponde alla funzione locale di transizione (slide 8 di automi base). In che modo possiamo capire se e\' globale o locale?

Stefano SALVI

Polo: non trovo questa affermazione nelle slide. Di fatto gli automi possono essere sia a tempo discreto che a tempo continuo ma non faccio nessuna approssimazione (la forma locale è approssimata). Sicuramente la forma è \'con lo stato\' perché ho transizione e trasformazione e non trasferiemnto.

Leonardo POLO

nella slide 8 di automi base ha scritto: "Ovviamente questa descrizione corrisponde alla forma locale della funzione di transizione."

Stefano SALVI

Polo: locale o globale si riferiscono ai sistemi a stato vettore. La forma locale si distingue da "Sn" invece di "St" e dal " per delta_t" (non ho il simbolo...)

Leonardo POLO

grazie comunque

4 (ultima domanda)_ Domanda riguardo agli automi base. Nei grafi orientati, cio\' che e\' all\'interno del cerchio fa parte della funzione di trasformazione, mentre cio che e\' sulle freccie riguarda la funzione di transizione?

Stefano SALVI

Polo: ok, lho visto. Possiamo dire che corrisponde alla forma locale perché calcola lo stato \'dopo N transizoni\', salvo mche non è approssimata.

Leonardo POLO

grazie

Stefano SALVI

Polo: negli automi di MOORE quelloc che c\'è nei cerchi appartiene alla funzione di trasformazione e quello che è sulle frecce alla transizione. Se l\'automa è di MEALY quello che c\'è nei cerchi è solo il nome mentre sulle frecce abbiamo per ogni \'riga\' (ad una freccia pososno essere assegnate più righe) è composto sia dalla transizione (gli ingressi prima della / e la destinazioen della freccia) sia di trasformazione (i valori delle uscite dopo la / ).

Leonardo POLO

ok infatti mi ricordavo che lo avesse detto

Arundeep SINGH

Buonasera prof Salvi

Stefano SALVI

Buona sera. Hai domande?

Fabio SCAPPI

prof nella slide 10 del file "automi-base",nei valori di ingresso non dovrebbe esserci un\'altra graffa,dato che è un insieme di insiemi?

Leonardo POLO

Fabio : prof le ultime 3 slide del file sulle comunicazioni non le abbiamo fatte giusto? puo rispondere anche a questa domanda?

Stefano SALVI

Scappi: si, l\'ho notato. Ci dovrebbe essere. La correggerò (magari prima del rpossimo anno...)

Scappi si riferiva ad una slide sugli automi che abbiamo fatto.

Fabio SCAPPI

ok grazie

Riccardo MARCHI

Prof uno stato è indistinguibile quando ho un ingresso ed una uscita che so e che se applico ad un altro sistema gli ingressi mi da le stesse uscite giusto?

Scusi ho sbagliato, volevo dire uno stato controllabile

Stefano SALVI

Marchi: intanto per essere indistinguibili devono essere almeno due. Se uno stato fosse indistinguibile sarebbe indistinguibile da cosa? Poi io ragiono sempre su un solo sistema, quindi riscrivimi la domanda correttamente (ora mi hai parlato di \'controllabile\') che così vedo di darti al risposta giusta.

Marchi: mi porto avanti. Per prima cosa si comincia parlando di stato controllabile AD UN\'ALTRO STATO. Uno stato è contrllabile ad ujn\'altro stato se siste almeno ujna sequenza di ingressi che, quando il sistema è nel primo stato, lo fa arrivare al secondo. Uno stato è contollabile (e basta) se PER OGNI LTRO STATO esiste una sequenza che...

Leonardo POLO

ho finito le domande, arrivederci prof grazie per i chiarimenti.

Stefano SALVI

A che punto siamo con le domande? (Polo ha finito...)

Se le hanno finite anche gli altri, possiamo chiudere. Le otto sono già passate.

Fabio SCAPPI

anche io ho finito prof, arrivederci e grazie

Riccardo MARCHI

Ok grazie prof

Arundeep SINGH

ok grazie prof , buona serata

Riccardo MARCHI

Arrivederci

Stefano SALVI

Ok, allora possiamo chiudere.

Natan NOLLI

Va bene prof, grazie e arrivederci a domani

Stefano SALVI

Buona cena, buonriposo e in bocca al lupo.