Teória paralelných výpočtov
(sylaby štátnic magisterského štúdia informatiky - plná verzia)
- 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.
- Ťažké problémy: Trieda NC, redukovateľnosť, P-úplné problémy.