13. Internationale Konferenz über Automaten und formale Sprachen, Debrecen, Ungarn
Automatentheorie betrifft das Studium abstrakter Maschinen und der Rechenprobleme, die mit ihrer Hilfe gelöst werden können. Dieser Forschungsbereich steht auch mit der Theorie formaler Sprachen in Zusammenhang. Automaten werden häufig aufgrund der Klasse der formalen Sprache klassifiziert, die sie erkennen können. Ein Automat kann eine finite Darstellung einer formalen Sprache sein, die eine infinite Menge sein kann.
Formale Sprachen werden oft als Grundlage für reichhaltigere Konstrukte verwendet, die mit Semantik dotiert sind. In der Informatik werden sie oft für die genaue Definition von Datenformaten verwendet und für die Syntax von Programmiersprachen.
Die Veranstaltung wird rund um mehrere Sitzungen herum organisiert, die jeden Tag zu verschiedenen Themen stattfinden.Weitere Informationen finden Sie auf folgender Webseite: http://www.nyf.hu/afl11/(öffnet in neuem Fenster)