13. międzynarodowa konferencja nt. automatów i języków formalnych, Debreczyn, Węgry
17 Sierpnia 2011 - 17 Sierpnia 2011
Węgry
W dniach 17 - 22 sierpnia 2011 r. w Debreczynie, Węgry, odbędzie się 13. międzynarodowa konferencja nt. automatów i języków formalnych.
Teoria automatów polega na badaniu abstrakcyjnych maszyn i problemów obliczeniowych, które można rozwiązać za ich pomocą. Dziedzina ta jest również powiązana z teorią języka formalnego. Dzieje się tak dlatego, że automaty są często grupowane wg klasy języków formalnych, które są w stanie rozpoznać. Automat może obejmować skończoną reprezentację języka formalnego, będącego zbiorem nieskończonym.
Języki formalne są często wykorzystywane jako podstawa bogatszych konstruktów obdarzonych semantyką. W informatyce są one często wykorzystywane do precyzyjnego definiowania formatów danych i składni języków programowania.
Wydarzenie zostanie zorganizowane wokół serii sesji poświęconych każdego dnia rozmaitym tematom.Więcej informacji: http://www.nyf.hu/afl11/(odnośnik otworzy się w nowym oknie)
Teoria automatów polega na badaniu abstrakcyjnych maszyn i problemów obliczeniowych, które można rozwiązać za ich pomocą. Dziedzina ta jest również powiązana z teorią języka formalnego. Dzieje się tak dlatego, że automaty są często grupowane wg klasy języków formalnych, które są w stanie rozpoznać. Automat może obejmować skończoną reprezentację języka formalnego, będącego zbiorem nieskończonym.
Języki formalne są często wykorzystywane jako podstawa bogatszych konstruktów obdarzonych semantyką. W informatyce są one często wykorzystywane do precyzyjnego definiowania formatów danych i składni języków programowania.
Wydarzenie zostanie zorganizowane wokół serii sesji poświęconych każdego dnia rozmaitym tematom.Więcej informacji: http://www.nyf.hu/afl11/(odnośnik otworzy się w nowym oknie)