Dissertation Topic
Jazykové modely moderního výpočtu: definice, transformace, aplikace
Academic Year: 2024/2025
Supervisor: Meduna Alexandr, prof. RNDr., CSc.
Department: Department of Information Systems
Programs:
Information Technology (DIT) - full-time study
Information Technology (DIT) - combined study
Information Technology (DIT-EN) - full-time study
Information Technology (DIT-EN) - combined study
Ř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.