Téma disertační práce
Jazykové modely moderního výpočtu: definice, transformace, aplikace
Ak. rok 2024/2025
Školitel: Meduna Alexandr, prof. RNDr., CSc.
Ústav: Ústav informačních systémů
Programy:
Informační technologie (DIT) - prezenční studium
Informační technologie (DIT) - kombinované studium
Information Technology (DIT-EN) - prezenční studium
Information Technology (DIT-EN) - kombinované studium
Řešení tohoto projektu bude vycházet ze stávajících poznatků o moderních formálních modelech, které se používají v teorii jazyků. Teoretický výzkum těchto modelů bude diskutovat užitečné transformace těchto modelů, jako např. eliminace vymazávajících pravidel či redukce velikosti jejich komponent. Výzkum aplikací takto transformovaných modelů se bude soustředit na oblasti informatiky související s překladači, matematickou lingvistikou a molekulární biologií.
Výsledky prvního roku řešení tohoto problému budou publikovány v Acta Informatica v 2024.