Biológiai indíttatású kiszámítások: Formális nyelvi modellek

A biológiai indíttatású kiszámítási modellek a jelenkori számítástudomány egyik, az érdeklődés fókuszában levő területét alkotják. A kutatások célja az, hogy az élő szervezetek vagy ezek közösségeinek felépítése és működési elveinek tanulmányozása alapján ezen rendszerek sajátosságait hordozó, újszerű, nagy hatékonyságú kiszámítási paradigmákat hozzanak létre. Vizsgálataink ilyen paradigmák kialakítására, illetve bizonyos, már meglévő modellek továbbfejlesztésére és tulajdonságaik, így például leírási bonyolultságuk vizsgálatára irányulnak. Kutatásainkat két fő területre kívánjuk összpontosítani: Evolúciós modellek: Nyelveken, illetve szavakból álló multihalmazokon értelmezett, a genom fejlődés által inspirált formális nyelvi műveleteken alapuló nyelvleíró eszközök (grammatikák) és osztott rendszereik tulajdonságainak vizsgálata, bonyolultságuk jellemzése hagyományos és újszerű eszközökkel. Molekuláris számítástudomány: Vizsgálatokat tervezünk a DNS tulajdonságai és viselkedése által inspirált bizonyos kiszámítási modellek, pl. a Watson-Crick Lindenmayer rendszerek és osztott rendszereik (hálózataik) kiszámítási ereje és hatékonysága, illetve a hálózataikban előforduló jelenségek leírása terén. Tanulmányozni kívánjuk egyes, a bio-molekuláris szinten lezajló folyamatok által motivált modellek kiszámítási erejét és leírási, illetve viselkedési bonyolultságát. Ilyen modellek például a membrán rendszerek (a membrán automaták).