Teória paralelných výpočtov
(sylaby štátnic magisterského štúdia informatiky)
- Paralelné gramatiky: paralelné prepisovanie (Lindenmayerove
systémy, Indické a Ruské paralelné gramatiky, generatívne systémy),
kooperujúce distribuované gramatiky, paralelné gramatické systémy.
- Paralelné stroje: alternujúce Turingove stroje, alternujúce
konečné automaty, boolovské obvody, PRAM, počítače druhej triedy.