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

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) – hlavní řešitel
Lukáš Roman, Ing., Ph.D.
Meduna Alexandr, prof. RNDr., CSc. (UIFS)