Formális nyelvi modellek a bio-molekuláris kiszámítások elméletében

A projekt célja kettős: új, hatékony modellek kifejlesztése a bio-molekuláris számítástudomány számára, elsősorban a kémcső rendszerek és DNS-típusú osztott architektúrák, valamint a membrán rendszerek területén, valamint bizonyos, már meglévő eredmények élesítése ezen tárgykörökben. Külön hangsúlyt kívánunk helyezni a bonyolultság különböző aspektusaira, komplex, méret- és kiszámítási mértékeket is magukba foglaló bonyolultsági mértékek tanulmányozására a kémcső rendszerek, valamint a membrán rendszerek esetében. Minthogy a bio-molekuláris kiszámítások a hagyományostól eltérő elveken nyugszanak, ezért a hagyományostól eltérő, azaz a Turing gépek esetében nem értelmezhető bonyolultsági mértékeket is számításba kívánunk venni. A kémcső rendszerek elméletében tovább szeretnénk folytatni a minimális méretű, de maximális erejű modellek kialakíthatóságának vizsgálatát különböző, a DNS viselkedésének sajátosságain alapuló műveletek esetében. A membrán rendszerek tárgykörében olyan modellek kialakítását tervezzük, amelyek azon kívül, hogy alkalmasak az élő szervezetekben lezajló folyamatok leírására, felhasználhatók problémáknak az eddigieknél hatékonyabb megoldására is.