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:

Název anglicky
Didactic Demonstration of Formal Language Models
Typ
grant
Klíčová slova

formální jazyky, e-learning, bezkontextový jazyk, konečný automat, zásobníkový automat, gramatika, vyuka

Abstrakt

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.

Řešitelé
Křivka Zbyněk, Ing., Ph.D. (UIFS FIT VUT) , hlavní řešitel
Lukáš Roman, Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Meduna Alexander, prof. RNDr., CSc. (UIFS FIT VUT) , spoluřešitel
Publikace

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
Nahoru