Matematický ústav SAV, v. v. i.
Názov témy
Zložitostné aspekty automatov a formálnych jazykov
Program DŠ
Informatika (PF UPJŠ, Informatika (2508))
Rok prijímania
2026
Meno školiteľa/-ky
Ing. Michal Hospodár, PhD.
Kontakt:
Prijímajúca škola
Prírodovedecká fakulta UPJŠ
Stručná anotácia
Vo vybraných modeloch automatov skúmame popisnú zložitosť rôznych jazykových operácií s dodatočnými požiadavkami, ako sú príslušnosť do konkrétnej triedy jazykov alebo horná hranica veľkosti abecedy. Tiež uvažujeme výpočtovú zložitosť niektorých rozhodovacích problémov týkajúcich sa formálnych jazykov a automatov.