Teoria degli automi / Argomento di tesi sul linguaggio formale

10

Ciao a tutti, al momento sto cercando di trovare un solido argomento di tesi di master pertinente in qualche branca della teoria degli automi o in relazione ai linguaggi formali. Sto cercando di generare alcune buone idee su quale sarebbe un argomento accettabile, qualcosa di ambizioso ma qualcosa di fattibile allo stesso tempo.

Qualsiasi suggerimento sarebbe molto apprezzato!

— Vincent Russo
fonte

3

In generale, in domande come questa sarebbe molto utile specificare quale tipo di tesi dovresti scrivere: ad esempio BSc, MSc, PhD, qualcos'altro? In particolare, ci si aspetta che tu faccia nuove ricerche o "semplicemente" organizzi le conoscenze esistenti?

— Jukka Suomela,

1

Mi scuso per non aver specificato, l'ho modificato sopra per mostrare che è per il mio Master. Per quanto ne so, tutte le tesi devono contribuire a nuovi risultati / ricerche e non sono solo un'organizzazione delle conoscenze esistenti. Quindi qualcosa su quel vicolo se hai qualche suggerimento.

— Vincent Russo,

9

Mentre sono d'accordo con la risposta di David Eppstein in generale (e l'ho votata), il campo emergente di automi che definiscono i processi biologici e altre "cose" informatiche naturali è un'area vibrante. Essere assunto più tardi non è qualcosa con cui posso parlare, ma potresti essere interessato a dare un'occhiata alla biochimica artificiale di Luca Cardelli, o all'efficace calcolo di Turing-universale con polimeri di DNA di Qian et al. Il primo documento è l'ultimo tentativo di Cardelli di fornire metodi formali ai processi biochimici; il secondo, un'implementazione teorica del DNA di una macchina stack.

— Aaron Sterling
fonte

1

Per quanto riguarda la praticità di assumere merito del mio argomento di tesi, non sono troppo preoccupato. Trovo che questi argomenti siano molto interessanti e preferirei dedicare il mio tempo a qualcosa di cui sono appassionato piuttosto che a qualcosa che mi farà guadagnare un assegno retributivo più grasso. Detto questo, mi piace l'idea a tema biologico. Sono anche un grande fan del calcolo quantistico, ma non sono sicuro di ciò che una tesi a livello di master potrebbe davvero comportare sulla complessità quantistica.

— Vincent Russo,

I problemi sono anche diversi e più difficili rispetto al classico lavoro degli anni '70: i problemi informatici naturali tendono a non essere i classici problemi di analisi delle stringhe, ma generalmente su grafici aciclici. Cerca "grammatiche grafiche calcolo naturale".

— Charles Stewart,

1

Davvero un argomento interessante. Un altro ramo del biocomputer (con cui sono stato coinvolto) al di fuori dello spostamento del filamento di DNA del progetto molecular-programming.org ha esaminato l'aspetto "programmazione" del dominio del biocomputer: diku.dk/~neil/blobentcs.pdf . Secondo la mia opinione distorta vale la pena esaminare :)

— svrist

1

@svrist, Grazie mille per aver pubblicato il link a Hartmann et al. carta. Lo leggerò oggi. Sembra la risposta alla domanda che ho posto qui: cstheory.stackexchange.com/questions/114/… quindi mi hai appena reso felice . :-)

— Aaron Sterling

18

Penso che David Eppstein sia troppo sprezzante nell'area della teoria degli automi e dei linguaggi formali. L'affermazione che "pubblicarlo in conferenze di alto livello e convincere qualcuno ad assumerti una volta laureato potrebbe essere problematica" sembra essere quello che Haldane chiamava il teorema di zia Jobiska: "È un dato di fatto che il mondo intero lo sa".

In effetti, ci sono buone conferenze (come STACS e ICALP) che pubblicano regolarmente risultati nella teoria degli automi e nei linguaggi formali; ci sono conferenze ben frequentate (come DLT) che si concentrano sull'area; è un'area molto attiva in Germania, Francia e Italia; ci sono grandi problemi aperti nell'area; e conosco molti studenti che non hanno avuto problemi a trovare lavoro.

— Jeffrey Shallit
fonte

1

Ciò è rassicurante, dal momento che la teoria degli automi e i linguaggi formali sono alla base di tutto ciò che è concepibilmente fatto nel campo dell'informatica non è neppure sorprendente. Per quanto riguarda il mercato del lavoro, non sto investendo il mio tempo in questo perché mi preoccupo di fare soldi, lo sto facendo perché sono appassionato dell'argomento. Grazie per i suggerimenti

— Vincent Russo,

1

A proposito, ci sono dei buoni archivi online per questi problemi aperti che stai citando? Ne ho trovati alcuni qua e là, ma la maggior parte di essi espone gli argomenti teorici più "commerciali" dell'informatica. cioè NP? = P ecc. Grazie ancora per l'aiuto.

— Vincent Russo,

3

@Captainhampton: potresti provare a sfogliare gli atti di conferenze come STACS e ICALP (come menzionato nella risposta di Jeffrey) per cercare gli ultimi lavori e aprire i problemi che ne derivano. Spesso si possono trovare buoni argomenti di tesi usando questo metodo.

— Ryan Williams,

10

Aiutare con l'argomento della tesi è uno dei motivi per cui abbiamo supervisori per studenti laureati, quindi dovresti consultare il tuo supervisore al riguardo.

Il consiglio generale che ho sentito è che dovresti scegliere gli atti di una serie di recenti conferenze rinomate nell'area in cui vuoi lavorare e dare un'occhiata ai documenti in esse finché non trovi qualcosa di interessante e discuterne con il tuo supervisore per vedere se è un argomento di tesi ragionevole.

— Kaveh
fonte

1

Grazie per il feedback Kaveh. Ho parlato avanti e indietro con il mio consulente, ma alla fine la decisione spetta a me, dato che sarò io a dedicare gran parte del suo tempo all'argomento. Quindi sono solo curioso di sapere se qualcuno qui ha avuto delle buone esperienze di tesi sull'argomento. Forse qualcosa di pertinente alla complessità quantistica ma "dimensioni del morso" abbastanza per un livello di tesi di master.

— Vincent Russo,

7

Un'altra area fruttuosa non menzionata qui è la connessione tra teoria degli automi e logica. Immagino che questa direzione di ricerca sia più popolare in Europa che in Nord America. Dal momento che non lavoro su quel campo, non posso suggerirti un problema specifico. Ma puoi dare un'occhiata al recente LICS 2010 e ai precedenti per i lavori recenti. Gli appunti delle lezioni di un corso di Leonid Libkin sono un buon punto di partenza.

— Dai Le
fonte

4

Ad esempio, lo studio di linguaggi di parole nidificati che sono riconosciuti da automi visibilmente pushdown ha suscitato molta attenzione nell'ultimo decennio. Una ragione è che questo è un buon modello di molti problemi legati all'XML, un altro è che il modello serve a collegare il lavoro in diverse aree (teoria del linguaggio di programmazione, verifica del software, concorrenza, logica). Sembra essere uno di quegli argomenti che attraversano veramente il divario A / B. cis.upenn.edu/~alur/nw.html

— András Salamon

6

Lo studio teorico della teoria degli automi e dei linguaggi formali è una specie di moribondo (nel senso che probabilmente puoi ancora trovare interessanti problemi di ricerca su cui lavorare, ma pubblicarlo in conferenze di alto livello e convincere qualcuno ad assumerti una volta laureato potrebbe essere problematico) . Tuttavia, ritengo che sia in corso un lavoro interessante sull'applicazione della teoria del linguaggio formale al rilevamento di minacce / intrusioni su Internet, ecc., E quest'area sembra molto più accesa in questo momento.

Vedi ad es

Wagner e Dean, rilevamento delle intrusioni tramite analisi statica, IEEE Symp. Sicurezza e privacy 2001

Wagner e Soto, attacchi di mimetismo su sistemi di rilevamento delle intrusioni basati su host, ACM Conf. Sicurezza informatica e delle comunicazioni 2002

Giffin, Jha e Miller, efficiente rilevamento delle intrusioni sensibile al contesto, NDSS 2004

Feng et al, Formalizzazione della sensibilità nell'analisi statica per il rilevamento delle intrusioni, Simposio IEEE su sicurezza e privacy 2004

— David Eppstein
fonte

1

Sono d'accordo sul fatto che la praticità nel mercato del lavoro della teoria degli automi è carente, ma le applicazioni della teoria sono piuttosto numerose come hai dimostrato. Grazie per i consigli Ci sono altri argomenti relativi agli automi applicabili che non includono la sicurezza che potresti consigliare? Mi piacerebbe davvero fare qualcosa con la teoria della complessità quantistica, ma credo che potrebbe essere un po 'ambizioso per un progetto di master (forse un dottorato di ricerca).

— Vincent Russo,

3

Anche David, penso che tu dia poca attenzione ai metodi formali usati nella verifica. Soprattutto quando si coinvolgono cose come Buchi automi, ci sono tutti i tipi di domande interessanti. Si sono appena allontanati dalla terra STOC / FOCS / SODA.

— Suresh Venkat,