Tab Content
Mostra Altre Attività

1752 Messaggi dei Visitatori

  1. Faticoso, stressante, ma mi diverto tutto sommato
  2. Avevo le date sballate, pensavo stessi mo facendo la tesi
  3. Ma alla fine, stai Erasmusando?
  4. Non ne ho la piu' pallida idea mi spiace
  5. Visualizza Conversazione
    Perchè hanno chiuso il topic di info?
  6. Il two body problem è molto più serio invece, per quello posso solo fari l'in bocca al lupo
  7. Beh intanto considera che non tutte le domande di PhD sono quelle nei termini ufficiali, spesso se contatti direttamente possibili advisor ti informano se hanno fondi incoming o possibilità di prendere nuovi ricercatori. A me appena finito il MSc mi è stata immediatamente offerta una possibilità che sarebbe iniziata un par di mesi dopo.
    Il percorso ufficiale sì è n'ammazzata che bisogna fare in anticipo e come dici te, se si è fatta l'uni in Italia, non è proprio così comodo. Considera però che è molto molto comune che dopo il master ci si prenda un po' di mesi per preparare l'application e nel frattempo lavoricchiare ufficialmente o meno con altri professori così da non perder tempo; la cosa che ti consiglio di fare è un po' di public relation in anticipo per poi farti offrire qualcosa ancor prima che di fare l'application
  8. Esatto
    Vabbè dai, mi accontento della mia spiegazione cervellotica visto che di meglio non riesco a tirare fuori, grazie comunque
  9. Su entrambe?
  10. Sì quello, mi basta assolutamente solo quello
    Però anche se sapessi illuminarmi su come utilizzo Myhill-Nerode per mostrare che un linguaggio è regolare basandosi su ~L sarebbe una via diretta da poter percorrere.
  11. In alternativa, ma dopo due giorni che cerco di percorrere questa via senza capire come ho perso le speranze. credo di aver capito che il modo migliore per dimostrare che il linguaggio è regolare sarebbe tramite la terza formulazione di Myhill-Nerode (indice finito di ~L). Solo che se questa è ottima per dimostrare l'irregolarità di un linguaggio (basta mostrare che non c'è un bound alle classi), per il caso contrario il bound alle classi deve esserci, ma non riesco a capire come dimostrarlo, leggo che molti ragionano per esaurimento sulla lunghezza delle stringhe ma nel mio caso, dove non parlo di un linguaggio *istanziato* ma di uno definito da una proprietà, non saprei come farlo, anche se intuisco che deve esserci una qualche relazione (magari anche 1:1) con le classi della mia partizione iniziale di A*.

    Long story short: ripensandoci mi sembra ragionevole il ragionamento scritto sotto, e mettendo apposto il dettaglio che dicevo dovrebbe funzionare. Rimane un procedimento lungo e tortuoso e nessuno mi toglie dalla testa che non sia la via giusta, ma spero quantomeno sia corretta. Se però quella scritta qua sopra potrebbe essere più diretta, dillo pure.
    Se invece non c'hai tempo e voglia di metterci la testa fa nulla, davvero, ti ho rotto fin troppo con 'sta storia ma è la prima volta che leggendo 50 volte le dispense, ragionandoci giorni e usando internet non riesco a venire a capo da un esercizio, all hail dimostrazioni
  12. Tranquillo, anche perché mi sono accorto di un errore nella parte "a priori" rispetto a quella che ti ho scritto, dovrei poterlo gestire comunque, ma impedisce di usare semplicemente la concatenazione di due insiemi regolari
  13. Per il resto ho sfruttato varie chiusure, se fossero giuste quelle, e giusto il ragionamento che mi ha portato a concludere che basti dimostrare la regolarità delle singole classi, dovrebbe funzionare. Dovrebbe...
  14. Allora ho riletto per bene, la relazione ha come dominio A*, funziona su automi di Buchi perché è generica ma ci si può tranquillamente restringere al caso finito.
    Come hai detto bene, capire se una parola è computabile fra una coppia di stati s,s' dovrebbe essere banale: derivo in modo scontato l'automa finito e pongo come stato iniziale s e come stato finale s', fine. Ora, siccome ogni classe individuata dalla mia relazione può essere rappresentata come una stringa di 0/1 in cui ogni posizione è associata a una coppia di stati, dovrebbe essere sufficiente per quelli "concordi" fare come sopra, per quelli "discordi" si sfrutta la chiusura per complementazione, e ogni singolo caso si mette a intersezione con gli altri per individuare il nucleo comune a tutte queste proprietà.
    Per la questione delle condizioni "passa per uno stato finale" ho pensato che si può suddividere in due parti la parola (come d'altronde mi pare di aver già fatto) e postulare l'esistenza di uno stato finale x per cui riesco ad andare (o NON andare, come prima distinzione fra caso positivo e negativo) da s a x e da x a s', utilizzando un po' di unioni sui vari stati finali e mettendo poi la condizione a intersezione con quelle individuate sopra. In questo modo dovrei essere in grado di ottenere un automa che individua esattamente una delle mie classi, che quindi sarebbe regolare, da qui per concatenazione due linguaggi regolari mi danno un linguaggio regolare e ok.

    In tutto questo ho grossi dubbi sulla procedura, per la sua lungaggine ho paura di aver cannato qualcosa di importante.
    Prima cosa: l'idea di dire "definisco una classe della mia relazione come sì/no (0/1) associati a ogni coppia di stati" ha senso? E' qualcosa che non ho mai visto applicato, verrebbe naturale a me impostarla così, però forse è un abuso di potere
  15. Guarda, rispondo domani, ora sono talmente fuso che non capisco neanche più cosa farei dopo
    Comunque mi pare giusta la risposta, oltre che banale, anche se dovrebbe aprire a problemi per riconoscere se quella stessa computazione passa o meno per stati finali (se aggiungo s' ad F come lo distinguo?).
Visualizzazione Messaggi dei Visitatori da 1 a 15 di 1752
Pagina 1 di 117 123451151101 ... UltimaUltima
Pagina 1 di 117 123451151101 ... UltimaUltima
Dati Personali di FFlegend

Informazioni di Base

Data di Nascita
April 22, 1992 (23)
Dati Personali di FFlegend
Città:
Genova
Impiego:
Studente universitario (informatica)

Statistiche


Messaggi Totali
Messaggi Totali
20,707
Messaggi Per Giorno
6.49
Ultimo Messaggio
One Piece | SPOILER MANGA | cap. 795 OUT Ieri 13:43:18
Messaggi dei Visitatori
Messaggi Totali
1752
Messaggio Più Recente
14-08-15 12:26:46
Informazioni Generali
Ultima Attività
Ieri 23:11:51
Data Registrazione
01-12-06

38 Amici

  1. .Bucch .Bucch è offline

    • Invia un messaggio via Skype™ a .Bucch
    .Bucch
  2. acer45 acer45 è offline

    Veterano

    acer45
  3. BlackDeath94 BlackDeath94 è offline

    Professionista

    • Invia un messaggio tramite MSN a BlackDeath94
    BlackDeath94
  4. Briky Briky è offline

    Divinità

    Briky
  5. Clapmax Clapmax è offline

    Divinità

    Clapmax
  6. Ctekcop
  7. DARK3N DARK3N è offline

    • Invia un messaggio tramite MSN a DARK3N
    DARK3N
  8. djmade djmade è offline

    Esperto

    • Invia un messaggio tramite MSN a djmade
    djmade
  9. Download Download è offline

    Novizio

    Download
  10. Drake Drake è offline

    Master of forum

    Drake
  11. Fenomeno24
  12. Ferro10 Ferro10 è offline

    Novizio

    Ferro10
  13. Fili Capi Fili Capi è offline

    Apprendista

    • Invia un messaggio tramite MSN a Fili Capi
    Fili Capi
  14. gambuso 94 gambuso 94 è offline

    Novizio

    gambuso 94
  15. GeeLoveRevenge GeeLoveRevenge è offline

    Novizio

    GeeLoveRevenge
  16. Gianmarkus Gianmarkus è offline

    Master of forum

    • Invia un messaggio tramite MSN a Gianmarkus
    • Invia un messaggio via Skype™ a Gianmarkus
    Gianmarkus
  17. gUiTaRiSt gUiTaRiSt è offline

    Apprendista

    gUiTaRiSt
  18. Igniz83
Visualizzazione Amici da 1 a 18 di 38
Pagina 1 di 3 123 UltimaUltima