Detail projektu

Inovativní přístup k projektům z oblasti překladačů

Období řešení: 1. 1. 2007 - 31. 12. 2007

Typ projektu: grant

Kód: FR673/2007/G1

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

Program:

Název anglicky
Inovative Approach to the Compiler Projects
Typ
grant
Klíčová slova

formální jazyky, překladače

Abstrakt

V současné době Fakulta informačních technologií v bakalářském i magisterském studijního programu (pro rok 2007) nabízí několik předmětů zaměřených na teorii formálních jazyků a překladačů. Praktické projekty studentů v těchto předmětech patří mezi implementačně velmi náročné. Původní koncept projektů byl navržen pro studenty magisterského programu. Následně počátkem vzniku bakalářského programu se stejný přístup aplikuje i zde, rozšířen pouze o možnost týmového řešení projektu.

Vzhledem k tomu, že studenti bakalářského programu mají na dostatečnou všeobecně teoretickou přípravu a programátorskou průpravu o rok méně, je potřeba upravit koncept projektů tak, aby vycházel z úrovně znalostí a dovedností, které mohou získat v kratším čase. Stejně tak je potřeba upřesnit formu hodnocení projektů, které jsou zpracovávány týmem několika studentů.

Zde by náš řešitelský tým rád inovoval koncept projektů, vytvořil nástroj pro podporu automatického hodnocení projektů a poskytl studentům studijní materiály pro čistě praktické užití teorie překladačů prezentované na přednáškách. Studenti tak nebudou muset vymýšlet již vymyšlené, co lze v současném stavu nastudovat pouze v anglické literatuře, jež je pro studenty cenově nedostupná a v knihovně přítomná v malém počtu kusů (ze stejného důvodu).

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

2007

  • KŘIVKA Zbyněk. Deterministic #-Rewriting Systems. In: Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2007, s. 386-390. ISBN 978-80214-3410-3. Detail
  • KŘIVKA Zbyněk, MEDUNA Alexander a SMRČEK Jaromír. n-Right-Linear #-Rewriting Systems. In: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007). Znojmo: Ing. Zdeněk Novotný, CSc., 2007, s. 105-112. ISBN 978-80-7355-077-6. Detail
  • RYCHNOVSKÝ Lukáš. Parsing of Context-Sensitive Languages. In: Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07)). Opava: Slezská univerzita v Opavě, 2007, s. 219-226. ISBN 978-80-7248-006-7. Detail
  • RYCHNOVSKÝ Lukáš. Type Checking by Context-Sensitive Languages. In: Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2007, s. 405-409. ISBN 978-80-214-3410-3. Detail
Nahoru