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

Webové stránky projektu Fondu rozvoje vysokých škol MŠMT kategorie G1 číslo FR1909/2006 Didaktické demonstrace modelů pro popis formálních jazyků (zkráceně DIDEFOM) jsou průběžně aktualizovány a doplňovány o nové verze výsledků projektu během jeho trvání i po jeho ukončení.

Zkrácené pojmenování projektu je DIDEFOM (od DIdaktické DEmonstrace FOrmálních Modelů), formální označení je MŠMT FRVŠ FR1909/2006/G1.

V současné době se na Fakultě informačních technologií v bakalářském i magisterském studijním programu (pro rok 2006) přednáší několik předmětů zaměřených na formální jazyky a teorii překladačů (Formální jazyky a překladače, Výstavba překladačů). I přes veškerou píli a kvalitní pedagogický přístup přednášejících jsou tyto předměty pro studenty velmi náročné, především na pochopení vazeb mezi teoretickými definicemi a konkrétními příklady, či dokonce programovými implementacemi. Pro tento účel se náš řešitelský tým snaží vypracovat sadu kvalitních a didakticky účelných nástrojů pro usnadnění studia těžkých pasáží učiva jeho názornou demonstrací s možností interakce uživatele a kvalitní prezentace s využitím multimedií (grafika, hypertext).

Seznam didaktických nástrojů pro výuku formálních jazyků a překladačů:

1. Konstrukce LL tabulky
2. Simulace deterministického konečného automatu a deterministického zásobníkového automatu
3. Simulace převodu nedeterministického na deterministický konečný automat

V následující sekci máte k dispozici odkazy na stažení nástrojů, které jsou hlavní součástí výsledků projektu:

Konstrukce LL tabulky: Nástroje psané multiplatformně v jazyce Java:

• Požadavky - Java Runtime Environment verze 1.6 (JRE)
• Stažení spustitelných aplikačních balíků
• Odkazy na Java aplety
• Uživatelské příručky

Konečné automaty: Nástroj psaný v jazyce C++:

• Stažení binárního balíčku pro Microsoft Windows 2000 a vyšší
• Uživatelská příručka

Dokumenty k projektu

• Závěrečná zpráva k projektu FRVŠ 1909/2006/G1
• Tisková zpráva

Hlavní řešitel

• Ing. Zbyněk Křivka (student DSP, 2.-3. ročník)

2. spoluřešitel

• Ing. Roman Lukáš (student DSP, 3. ročník)

1. spoluřešitel

• Prof. RNDr. Alexander Meduna, CSc. (akademický pracovník, školitel řešitelů)

Při implementaci jsme využili mnoho technologií, návrhových vzorů, programovací jazyky a jejich knihovny.

Využité technologie a postupy:

• Java verze 1.6 (Java Developement Kit, Java Runtime Environment)
• NetBeans - vývojové prostředí pro Javu
• Event-driven component-based GUI programming
• Resources/Properties pro vícejazyčnost některých nástrojů
• XML a knihovnu XStream pro serializaci a deserializaci objektů
• Swing libraries (Model-View koncept) - knihovna pro tvorbu pokročilého grafického uživatelského rozhraní

Prezentace výsledků se týkala jak výsledků čistě praktických (nástrojů pro výuku), tak výsledků teoretických z oblasti formálních modelů. Především přímočarých modifikací jinak běžně vyučovaných modelů jako jsou bezkontextové gramatiky a zásobníkové automaty.

• WFM 2006 (25.-26. duben 2006, Přerov)
• EEICT 2006 (27. duben 2006, Brno)
• Pedagogický Software 2006 (7.-8. června 2006, České Budějovice)
• MEMICS 2006 (27.-29. říjen 2006, Mikulov)

Projekt má za sebou první řešitelskou fázi a skončilo jeho financování z projektu FRVŠ. Projekt však nezaniká, protože bude dále rozšiřován formou bakalářských a diplomových projektů (viz sekce Budoucnost v dokumentu závěrečné zprávy).

Nakonec bych rád poděkoval oběma spoluřešitelům za spolupráci nejen během roku 2006 a těším se na pokračování v tomto projektu i na další nové projekty.

• ACE - Aplikace demonstrující LL a LR překlad, k dispozici po požádání autora.