Dissertation Topic

Nové modely pro formální jazyky

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ů teorie formálních jazyků o modelech definující jazyky. Projekt se zaměří na automaty a gramatiky. Cílem je konstrukce a výzkum nových verzí těchto modelů a to tak, aby adekvátním způsobem odrážely potřeby moderní informatiky. Řešení projektu bude rovněž zahrnovat diskuzi aplikací těchto systémů např. v oblasti bezpečnosti.

Výsledky prvního roku řešení tohoto problému budou publikovány v Acta Informatica v 2024.

Back to top