Automaták és formális nyelvek
- Ez a tanácskozás nem csak a szervező Számítógéptudományi Tanszéknek, hanem a karnak és az egyetemnek is nagyon fontos. Azt jelzi, hogy valami lényeges dolog történik, hiszen a számítástudomány meghatározó kutatói működnek együtt, indítanak közös kutatásokat – hangsúlyozta Mihálydeák Tamás dékán az AFL 2017 – Automaták és Formális Nyelvek konferencia szeptember 4-ei megnyitóján. Az idei tanácskozást a Debreceni Egyetem Informatikai Kara és az Eötvös Loránd Tudományegyetem Informatikai Kara közösen szervezte meg.
A dékán köszöntőjében rámutatott, hogy bár a kar nagyon fiatal, 2004-ben alapították, ugyanakkor a programozó matematikus szakon már 1972/73-ban elindult a számítástechnikai specialisták oktatása, napjainkban pedig már alap-, mester- és osztatlanképzések mellett az Informatikai Tudományok Doktori Iskola is várja a hallgatókat.
Vaszil György, a Számítógéptudományi Tanszék vezetője felidézte, hogy a konferenciasorozatot 1980-ban alapította Peák István professzor, az automataelmélet neves szakértője. Kezdetben még kétévente, majd 1990 óta háromévente rendezték meg, az idei alkalom a tizenötödik.
- Az automaták elméleti vizsgálata az 1950-es években kezdődött, a terület mára a számítástudomány fontos, önálló fejezete, hasonlóan a formális nyelvek elméletéhez, melynek megszületését az emberi nyelvek nyelvtani elemzése motiválta, ám hamarosan kiderült, hogy alapvető fontosságú a számítógépek „anyanyelve”, a programozási nyelvek elméleti és gyakorlati problémáinak megértésében – magyarázta Vaszil György.
A konferenciára idén tizenkét országból érkeznek résztvevők Debrecenbe. A háromnapos program – amelynek anyagát nemzetközi programbizottság választotta ki –, öt plenáris és tizenkilenc reguláris előadást tartalmaz, valamint speciális szekciót szentel a tavaly váratlanul elhunyt Ésik Zoltán szegedi professzor emlékének, aki a tudományterület kiemelkedő jelentőségű, nemzetközileg elismert művelője volt.
A részletes program a konferencia honlapján érhető el.
Sajtóiroda - TPL