Seminář je organizován výzkumnou skupinou formálních modelů na Ústavu informačních systémů Fakulty informačních technologií Vysokého učení technického v Brně. Je zaměřen především na teoretické a praktické aspekty formálních modelů a jejich použití.

Seznam uskutečněných seminárních příspěvků naleznete na http://www.fit.vutbr.cz/~meduna/work/doku.php?id=talks:seminar.

Autoři: Lukáš Vrábel, Petr Zemek (oba doktorandi, 1. ročník, školitel prof. Meduna)
Název: O nedeterminismu v programovaných gramatikách
Abstrakt:

V této prezentaci je diskutován vliv nedeterminismu na generativní sílu programovaných gramatik. Pod nedeterminismem rozumíme situaci, kdy po aplikaci pravidla je v následujícím kroku možno aplikovat více než jedno pravidlo. Zaměříme se jak na redukci maximálního počtu nedeterministických voleb na jedno pravidlo, tak na redukci celkového součtu těchto voleb v gramatice. Prezentace je založena na našem příspěvku zaslaném na AFL'11.