13ª Conferenza internazionale sugli automi e i linguaggi formali, Debrecen, Ungheria
La teoria degli automi è lo studio delle macchine astratte e dei problemi di calcolo che possono essere risolti impiegandole. Il campo è anche collegato alla teoria del linguaggio formale. Questo perché gli automi sono spesso classificati secondo le classi di linguaggio formale che essi sono in grado di riconoscere. Un automa può essere una rappresentazione finita di un linguaggio formale che può essere un insieme infinito.
I linguaggi formali sono spesso usati come base per i costrutti più ricchi dotati di una semantica. In informatica, essi vengono spesso utilizzati per la definizione precisa di formati di dati e la sintassi dei linguaggi di programmazione.
Il programma dell'evento prevede una serie di sessioni su vari argomenti ogni giorno.Per ulteriori informazioni, visitare: http://www.nyf.hu/afl11/(si apre in una nuova finestra)