Diskontinuitní výpočet: Teorie, Modely, Metody, Aplikace

Řešení tohoto projektu bude vycházet ze stávajících poznatků o formálních modelech diskontinuitního výpočtu, zejména skákajících gramatik a automatů. Cílem je konstrukce a výzkum nových automatových a gramatických modelů, které adekvátním způsobem odrážejí potřeby moderních výpočetních metod založených na diskontinuitním výpočetu. Aplikace těchto modelů se budou soustředit na modelování a výzkum ve všech oblastech, které diskontinuitní výpočet používají, např. bioinformatiky.

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