Osztott modellek a molekuláris számítástudományban

A molekuláris számítástudomány a számítástudomány egyik legmodernebb ága, mely a számításokat biokémiai folyamatok utánzása segítségével kísérli meg modellezni. A biokémiai folyamatok modellezésében a formális nyelveknek kezdettől fogva jelentős szerepe volt, hiszen a DNS molekulák négy alkotóelemből felépülő láncai természetes módon feleltethetők meg egy négy szimbólumot tartalmazó ábécé betűiből képzett jelsorozatoknak (szavaknak), a molekulák halmazai pedig szóhalmazoknak (nyelveknek). A kémiai reakciók modellezésére a molekulák bomlását és összekapcsolódását leíró új nyelvi műveletek születtek, mint pl. a vágás és rekombináció, a sodrási séma, vagy a Watson-Crick komplementaritás. A fenti és hozzájuk hasonló műveletekre alapozva osztott kiszámítási eszközök is megjelentek, ilyenek az ún. kémcsőrendszerek vagy a membrán rendszerek.

A kutatás célja olyan ezekhez hasonló kiszámítási eszközök vizsgálata, melyeknek a biokémiai folyamatok modellezése mellett fő jellemzőjük az osztott és párhuzamos működés.