Project Details

Didaktické demonstrace modelů pro popis formálních jazyků

Project Period: 1. 1. 2006 - 31. 12. 2006

Project Type: grant

Code: FR1909/2006/G1

Agency: Fond rozvoje vysokých škol MŠMT

Program:

English title

Didactic Demonstration of Formal Language Models

Type

grant

Keywords

formal languages, e-learning, context-free language, finite automata, pushdown automata, grammar, education

Abstract

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.

Team members

Křivka Zbyněk, Ing., Ph.D. (UIFS FIT VUT) , research leader
Lukáš Roman, Ing., Ph.D. (UIFS FIT VUT) , team leader
Meduna Alexander, prof. RNDr., CSc. (UIFS FIT VUT) , team leader

Publications

2006

KŘIVKA Zbyněk, LUKÁŠ Roman and MEDUNA Alexander. Didaktické demonstrace modelů pro popis formálních jazyků. In: Pedagogický software 2006. České Budějovice: Agricultural Faculty, University of South Bohemia, 2006, pp. 54-56. ISBN 80-85645-56-4. Detail
KŘIVKA Zbyněk and SCHÖNECKER Rudolf. Reducing Deep Pushdown Automata. In: Proceedings of the 12th Conference and Competition STUDENT EEICT 2006 Volume 4. Brno: Faculty of Information Technology BUT, 2006, pp. 365-369. ISBN 80-214-3163-6. Detail
KŘIVKA Zbyněk and SCHÖNECKER Rudolf. String-Partitioning Systems and An Infinite Hierarchy. In: Proceedings of 1st International Workshop on Formal Models (WFM'06). Ostrava, 2006, pp. 53-60. ISBN 80-86840-20-4. Detail