Detail projektu
Didaktické demonstrace modelů pro popis formálních jazyků
Období řešení: 1. 1. 2006 - 31. 12. 2006
Typ projektu: grant
Kód: FR1909/2006/G1
Agentura: Fond rozvoje vysokých škol MŠMT
Program:
formální jazyky, e-learning, bezkontextový jazyk, konečný automat, zásobníkový automat, gramatika, vyuka
Na Fakultě informačních technologií se v bakalářském i magisterském studijním programu (pro rok 2006) přednáší dva předměty o formálních jazycích a teorii překladačů. Předměty obsahují velmi náročnou látku nutnou pro pochopení vazeb mezi teoretickými definicemi a praktickým užitím. Tento projekt vytváří didakticky účelný nástroj pro usnadnění studia těžkých pasáží učiva jeho názornou demonstrací s využitím multimedií a interakce studenta.
Lukáš Roman, Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Meduna Alexander, prof. RNDr., CSc. (UIFS FIT VUT) , spoluřešitel
2006
- KŘIVKA Zbyněk, LUKÁŠ Roman a MEDUNA Alexander. Didaktické demonstrace modelů pro popis formálních jazyků. In: Pedagogický software 2006. České Budějovice: Zemědělská fakulta, Jihočeská univerzita, 2006, s. 54-56. ISBN 80-85645-56-4. Detail
- KŘIVKA Zbyněk a SCHÖNECKER Rudolf. Reducing Deep Pushdown Automata. In: Proceedings of the 12th Conference and Competition STUDENT EEICT 2006 Volume 4. Brno: Fakulta informačních technologií VUT v Brně, 2006, s. 365-369. ISBN 80-214-3163-6. Detail
- KŘIVKA Zbyněk a SCHÖNECKER Rudolf. String-Partitioning Systems and An Infinite Hierarchy. In: Proceedings of 1st International Workshop on Formal Models (WFM'06). Ostrava: MARQ, 2006, s. 53-60. ISBN 80-86840-20-4. Detail