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.

Description in English
There are thaught two lectures (year 2006) oriented on formal languages and parsers in Bachelor and Master Study Program in Faculty of Information Technology. These lectures present to students very difficult and theoretical passages. Understanding of their relation to practical usage is crucial. This project creates didactic and interactive tool for demonstrating advanced parts of lectures by using multimedia.

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

Key words in English
formal languages, e-learning, context-free language, finite automata, pushdown automata, grammar, education

FR1909/2006/G1

Czech

Křivka Zbyněk, Ing., Ph.D. - principal person responsible

Department of Information Systems
- responsible department (1.1.1989 - not assigned)
Formal Model Research Group
- internal (31.1.2006 - 31.12.2006)
Department of Information Systems
- co-beneficiary (31.1.2006 - 31.12.2006)

Responsibility: Křivka Zbyněk, Ing., Ph.D.